![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 3
2020
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke
(2020):
Tools for the construction and analysis of systems.
In: International Journal on Software Tools for Technology Transfer, Bd. 22: S. 685-687
[PDF, 213kB]
ORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke
(2020):
Tools for the construction and analysis of systems.
In: International Journal on Software Tools for Technology Transfer, Bd. 22: S. 685-687
[PDF, 213kB]
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke
(2020):
Selected and Extended Papers from TACAS 2018: Preface.
In: Journal of Automated Reasoning, Bd. 64, Nr. 7: S. 1331-1332
[PDF, 172kB]
ORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke
(2020):
Selected and Extended Papers from TACAS 2018: Preface.
In: Journal of Automated Reasoning, Bd. 64, Nr. 7: S. 1331-1332
[PDF, 172kB]
2016
Barth, Stephan
(2016):
Deciding Monadic Second Order Logic over ω(omega)-Words by Specialized Finite Automata.
In: Ábrahám, Erika und Huisman, Marieke (Hrsg.):
Integrated formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Programming and Software Engineering, Bd. 9681. Cham: Springer. S. 245-259