![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
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 (Hrsg.):
In: Formal Methods, Lecture Notes in Computer Science
Bd. 14000
Cham: Springer. S. 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 (Hrsg.):
In: Formal Methods, Lecture Notes in Computer Science
Bd. 14000
Cham: Springer. S. 122-141