Stefan Leue
3 published titles
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
(Contributor)
1 edition
- ISBN: 0412644509
- Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
- 1995
- Details
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540434771
- Springer
- 2002
- Details
Scenarios : models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783540261896
- Springer
- 2005
- Details
