![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | Date
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Beek, Maurice H. ter 
ORCID: https://orcid.org/0000-0002-2930-6367; Cledou, Guillermina ORCID: https://orcid.org/0000-0003-0006-6440; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
25th International Symposium on Formal Methods (FM), Lubeck, Germany, 06. - 10. März 2023.
Chechik, Marsha; Katoen, Joost-Pieter und Leucker, Martin (eds.) :
In: Formal Methods, Lecture Notes in Computer Science
Vol. 14000
Cham: Springer. pp. 122-141
ORCID: https://orcid.org/0000-0002-2930-6367; Cledou, Guillermina ORCID: https://orcid.org/0000-0003-0006-6440; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
25th International Symposium on Formal Methods (FM), Lubeck, Germany, 06. - 10. März 2023.
Chechik, Marsha; Katoen, Joost-Pieter und Leucker, Martin (eds.) :
In: Formal Methods, Lecture Notes in Computer Science
Vol. 14000
Cham: Springer. pp. 122-141