Browse
FAQ

Author

Stefan Leue

6 books found

Cover of Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Stefan Leue, Pedro Merino · First published 2008

Cover of Scenarios

Scenarios

Stefan Leue,Tarja J. Syst · First published 2008

Cover of Scenarios: Models, Transformations and Tools

Scenarios: Models, Transformations and Tools

Stefan Leue · First published 2005

Cover of Model Checking Software

Model Checking Software

Dragan Bosnacki, Stefan Leue · First published 2003

Cover of Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · First published 2003

Cover of Model checking software

Model checking software

Stefan Leue · First published 2002