Published in: Lecture notes in computer science ; 5596

Published in: Lecture notes in computer science ; 5596

Published in: ACM SIGLOG News, 2 (2015) 4, Seite 17-25

Published in: Formal Methods and Software Engineering (2012), Seite 2-3

Published in: Model Checking Software (2010), Seite 76-87

Published in: Lecture Notes in Computer Science (2014), Seite 1-15

Published in: Radical Innovations of Software and Systems Engineering in the Future (2004), Seite 283-296

Published in: Embedded Software (2002), Seite 138-152

Published in: SPIE Proceedings (2001)

Published in: SPIN Model Checking and Software Verification (2000), Seite 93-112

Published in: Lecture Notes in Computer Science (2023), Seite 79-85

Published in: IEEE Software, 33 (2016) 4, Seite 22-25

Published in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (2004), Seite 5-20

Published in: Hybrid Systems III (1996), Seite 340-349

Published in: Bridging the Gap Between AI and Reality (2024), Seite 225-240

Published in: Lecture Notes in Computer Science (2021), Seite 258-275

Published in: Lecture Notes in Computer Science (2017), Seite 404-419

Published in: Lecture Notes in Computer Science (2016), Seite 373-387