Organisation:
Zeige:
Zeige 1 bis 10 von 57 Ergebnissen
Zeige 1 bis 10 von 57 Ergebnissen
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021) In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (Hrsg.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, 187-199. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
(2020) In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency Theory. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Feng Xinyu, Müller-Olm Markus, Yang Zijiang (Hrsg.) (2018) . Fachbuch (Herausgegebenes Buch) | Veröffentlicht | |
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander (2015) In: Falaschi Moreno (Hrsg.), Logic-Based Program Synthesis and Transformation. Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
In: . | Peer reviewed | |
In: (Hrsg.), , -. | Peer reviewed | |