Published in: International Journal on Software Tools for Technology Transfer, 10 (2008) 4, Seite 281-283

Published in: International Journal on Software Tools for Technology Transfer, 10 (2008) 4, Seite 383-400

Published in: Emerging Directions in Embedded and Ubiquitous Computing (2007), Seite 674-685

Published in: Software Technologies for Embedded and Ubiquitous Systems (2007), Seite 125-136

Published in: Lecture Notes in Computer Science (2004), Seite 366-379

Published in: Lecture Notes in Computer Science (2003), Seite 233-252

Published in: Formal Methods for Industrial Applications (1996), Seite 473-492

Published in: International Journal of Software Engineering & Applications, 4 (2013) 1, Seite 9-28

Published in: Formal Approaches to Software Testing (2005), Seite 170-179

Published in: Lecture Notes in Computer Science (2003), Seite 95-109

Published in: Electronic Notes in Theoretical Computer Science, 80 (2003), Seite 251-260

Published in: Formal Aspects of Computing, 10 (1998) 5, Seite 483-508

Published in: Software Testing, Verification and Reliability, 30 (2020) 7-8

Published in: PIK - Praxis der Informationsverarbeitung und Kommunikation, 38 (2015) 1-2

Published in: International Journal on Software Tools for Technology Transfer, 16 (2014) 3, Seite 215-225

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (2014), Seite 274-276

Published in: JeDEM - eJournal of eDemocracy and Open Government, 6 (2014) 1, Seite i-iii

Published in: Electronic Proceedings in Theoretical Computer Science, 80 (2012), Seite 1-12