Searching for OpenAIRE data...
Publications
Author(s): Moerman, Joshua; Rot, Jurriaan
Published in:
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Computer Science Logic, CSL 2020, Barcelona, Spain, 2020-01-13 - 2020-01-16
, Issue 3, 2020
DOI: 10.4230/LIPIcs.CSL.2020.31
Author(s): Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Published in: Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Issue 11800, 2019, Page(s) 101-120
DOI: 10.1007/978-3-030-30942-8_8
Author(s): Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I, Issue 11427, 2019, Page(s) 344-350
DOI: 10.1007/978-3-030-17462-0_20
Author(s): Milan Češka, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Published in: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Issue 11500, 2019, Page(s) 107-125
DOI: 10.1007/978-3-030-31514-6_7
Author(s): Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I, Issue 12078, 2020, Page(s) 444-462
DOI: 10.1007/978-3-030-45190-5_25
Author(s): Kaminski, Benjamin Lucien
Published in: Aachen 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2019-01829 = Dissertation, RWTH Aachen University, 2019, Issue 1, 2019
DOI: 10.18154/RWTH-2019-01829
Author(s): Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Published in: Proceedings of the ACM on Programming Languages, Issue 3/POPL, 2019, Page(s) 1-29, ISSN 2475-1421
DOI: 10.1145/3290347
Author(s): Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
Published in: Acta Informatica, 2020, ISSN 0001-5903
DOI: 10.1007/s00236-020-00374-7
Author(s): Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen
Published in: Proceedings of the ACM on Programming Languages, Issue 4/POPL, 2020, Page(s) 1-28, ISSN 2475-1421
DOI: 10.1145/3371105
