Spisländer M, Saglietti F (2018)
Publication Language: English
Publication Type: Conference contribution
Publication year: 2018
Publisher: IEEE
Pages Range: 81-88
Conference Proceedings Title: 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Event location: Prague (CZ)
ISBN: 978-1-5386-7384-3
APA:
Spisländer, M., & Saglietti, F. (2018). Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. In 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (pp. 81-88). Prague (CZ): IEEE.
MLA:
Spisländer, Marc, and Francesca Saglietti. "Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents." Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague (CZ) IEEE, 2018. 81-88.
BibTeX: Download