Stefan Leue

6 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

by Dragan Bosnacki and Stefan Leue First published in 2003 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

by Stefan Leue and Pedro Merino First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

by Dennis Dams, Robert Gerth, Stefan Leue, and Mieke Massinek First published in 2003 — 1 edition

Locate

My Reading Lists:

Create a new list
Scenarios : Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

by Stefan Leue and Tarja J. Systä First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Scenarios: Models, Transformations and Tools: international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

by Stefan Leue First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)

by Stefan Leue First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL10229526A

Links outside Open Library

No links yet. Add one?

History

Created February 26, 2022
1 revision

Download catalog record: RDF / JSON

February 26, 2022

Created by ImportBot

import new book

Stefan Leue

6 works Add another?

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Create a new list

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Scenarios : Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Scenarios: Models, Transformations and Tools: international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History