![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 2
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
Beek, Maurice H. ter ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255
ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255