1
Formal method for industrial critical systems [E-Book] : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
Leue, S.
2008
Other Personal Name(s): “...Leue, S....”

Full text 
Favorites
Saved in:
2
Scenarios: Models, Transformations and Tools [E-Book] / International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Other Personal Name(s): “...Leue, Stefan....”

Full text 
Favorites
Saved in:
3
Model Checking Software [E-Book] : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings /
Other Personal Name(s): “...Leue, Stefan....”

Full text 
Favorites
Saved in:
4
Theoretical and Practical Aspects of SPIN Model Checking [E-Book] : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings /
Other Personal Name(s): “...Leue, Stefan....”

Full text 
Favorites
Saved in:

Narrow Search Results