![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2023
Anzahl der Publikationen: 1
2023
Brieger, Marvin 
ORCID: https://orcid.org/0000-0001-9656-2830; Mitsch, Stefan ORCID: https://orcid.org/0000-0002-3194-9759 und Platzer, André ORCID: https://orcid.org/0000-0001-7238-5710
(2023):
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.
29th International Conference on Automated Deduction (CADE), Rome, Italy, 01. - 04. Juli 2023.
In: Automated Deduction – CADE 29, Lecture Notes in Computer Science
Bd. 14132
Cham: Springer. S. 96-115
[PDF, 793kB]
ORCID: https://orcid.org/0000-0001-9656-2830; Mitsch, Stefan ORCID: https://orcid.org/0000-0002-3194-9759 und Platzer, André ORCID: https://orcid.org/0000-0001-7238-5710
(2023):
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.
29th International Conference on Automated Deduction (CADE), Rome, Italy, 01. - 04. Juli 2023.
In: Automated Deduction – CADE 29, Lecture Notes in Computer Science
Bd. 14132
Cham: Springer. S. 96-115
[PDF, 793kB]