by BELINFANTE, Axel, FRANTZEN, Lars, SCHALLHART, Christian
Published in Lecture notes in computer science (2005)

by Bertolino, Antonia, Frantzen, Lars, Polini, Andrea, Tretmans, Jan
Published in Architecting Systems with Trustworthy Components (2006)

by Frantzen, Lars, Tretmans, Jan, Willemse, Tim A. C.
Published in Formal Approaches to Software Testing (2005)

by Frantzen, Lars, Tretmans, Jan
Published in Formal Methods for Components and Objects (2007)

by Bertolino, Antonia, De Angelis, Guglielmo, Frantzen, Lars, Polini, Andrea
Published in Testing of Software and Communicating Systems (2008)

by Frantzen, Lars, Merayo, Mercedes G., Núñez, Manuel
Published in The journal of logic and algebraic programming (01.07.2009)

by Belinfante, Axel, Frantzen, Lars, Schallhart, Christian
Published in Model-Based Testing of Reactive Systems (2005)

by van Weelden, Arjen, Oostdijk, Martijn, Frantzen, Lars, Koopman, Pieter, Tretmans, Jan
Published in Security and Privacy in the Age of Ubiquitous Computing (2005)