Published in: Lecture notes in computer science ; 6175

Published in: Texts in theoretical computer science ; an EATCS series

Published in: Lecture notes in computer science ; 6175

Published in: Conference Series: Formal Methods in Computer-Aided Design

Published in: ISSN: 1433-2787

Published in: ISSN: 1571-0661

Published in: Leibniz international proceedings in informatics ; 236

Published in: Lecture notes in computer science ; 10629

Published in: Formal Methods in System Design, 52 (2018) 3, Seite 227-228

Published in: Interfaces, 47 (2017) 6, Seite 537-554

Published in: Computer Aided Verification (2009), Seite 63-63

Published in: Formal Methods in System Design, 24 (2004) 1, Seite 5-24

Published in: Formal Methods in Computer-Aided Design (2002), Seite 160-170

Published in: Annals of Mathematics and Artificial Intelligence, 89 (2021) 7, Seite 693-710

Published in: Entropy, 20 (2018) 9, Seite 713