To appear |
- BOOKTITLE:
- 3rd Workshop on Model Design and Validation (MoDeVa 2006)
|
2007 |
- BOOKTITLE:
- Proceedings of the Second Haifa Verification Conference
- SERIES:
- Lecture Notes in Computer Science
- PAGES:
- 183-197
|
2006 |
- BOOKTITLE:
- Proceedings of the 18th International Conference on Computer Aided\ Verification (CAV'2006)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4144
- PAGES:
- 95--108
|
|
2005 |
|
- BOOKTITLE:
- Proceedings of the 17th International Conference on Computer Aided Verification (CAV'2005)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3576
- PAGES:
- 98--111
|
- BOOKTITLE:
- Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3385
- PAGES:
- 380--395
|
2004 |
- JOURNAL:
- Nordic Journal of Computing
- VOLUME:
- 11
- PAGES:
- 148--164
|
- BOOKTITLE:
- Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004.
- SERIES:
- LNCS
- VOLUME:
- 3099
- PAGES:
- 298--311
|
|
|
- BOOKTITLE:
- Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3312
- PAGES:
- 186-200
|
|
2003 |
- BOOKTITLE:
- Model Checking Software. 10th International SPIN Workshop
- PAGES:
- 74--88
|
|
2002 |
|
2001 |
- BOOKTITLE:
- Application and Theory of Petri Nets
- PAGES:
- 242--262
|
|
2000 |
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 43
- PAGES:
- 175--193
|
|
1999 |
- BOOKTITLE:
- Concurrency, Specification & Programming Workshop
- PAGES:
- 107--118
|