Hartmanns, Arnd http://orcid.org/0000-0003-3268-8674
Junges, Sebastian http://orcid.org/0000-0003-0978-8466
Katoen, Joost-Pieter http://orcid.org/0000-0002-6143-1926
Quatmann, Tim http://orcid.org/0000-0002-2843-5511
Chapter History
First Online: 14 April 2018
Conference Information
Conference Acronym: TACAS
Conference Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference City: Thessaloniki
Conference Country: Greece
Conference Year: 2018
Conference Start Date: 14 April 2018
Conference End Date: 20 April 2018
Conference Number: 24
Conference ID: tacas2018
Conference URL: https://www.etaps.org/index.php/2018/tacas