Published in: Lecture notes in computer science ; 9128

Published in: Formal Methods Teaching (2021), Seite 18-34

Published in: Lecture Notes in Computer Science (2022), Seite 124-142

Published in: Software Quality Journal, 29 (2021) 3, Seite 595-596

Published in: International Journal on Software Tools for Technology Transfer, 19 (2017) 4, Seite 391-393

Published in: Lecture Notes in Computer Science (2011), Seite 423-436

Published in: Electronic Proceedings in Theoretical Computer Science, 28 (2010), Seite 114-128

Published in: Automated Technology for Verification and Analysis (2012), Seite 238-253

Published in: IFAC Proceedings Volumes, 40 (2007) 6, Seite 145-150

Published in: Lecture Notes in Computer Science (2006), Seite 38-47

Published in: Lecture Notes in Computer Science (2007), Seite 465-478

Published in: IEEE Transactions on Services Computing, 9 (2016) 4, Seite 647-660

Published in: Fundamental Approaches to Software Engineering (2013), Seite 226-230

Published in: Formal Methods for Industrial Critical Systems (2015), Seite 1-11

Published in: Lecture Notes in Computer Science (2020), Seite 94-120

Published in: The American Journal of Pathology, 160 (2002) 6, Seite 2169-2180