author- FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 363-378. Springer, (2004)
- FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 199-214. Springer, (2004)
- CAV, volume 3114 of Lecture Notes in Computer Science, page 496-500. Springer, (2004)
- CONCUR, volume 2421 of Lecture Notes in Computer Science, page 255-271. Springer, (2002)
- CADE, volume 2392 of Lecture Notes in Computer Science, page 438-455. Springer, (2002)
- Electr. Notes Theor. Comput. Sci. 65(6):218-237 (2002)
- Electr. Notes Theor. Comput. Sci. 68(5):116-134 (2002)
- KI, volume 1303 of Lecture Notes in Computer Science, page 147-158. Springer, (1997)
- Leveraging Applications of Formal Methods, Verification and Validation, 17, (2009)
- IFM, volume 5423 of Lecture Notes in Computer Science, page 200-214. Springer, (2009)
- ISoLA, volume 17 of Communications in Computer and Information Science, page 369-384. Springer, (2008)
- ISORC, page 422-428. IEEE Computer Society, (2008)
- WADS, volume 4615 of Lecture Notes in Computer Science, page 316-336. Springer, (2006)
- FroCos, volume 3717 of Lecture Notes in Computer Science, page 81-105. Springer, (2005)
- VIRTUAL-LAB, page 12-19. INSTICC Press, (2004)
- DSN, page 189-198. IEEE Computer Society, (2004)
- Bounded Model Checking and Induction: From Refutation to Verification Extended Abstract, Category A.CAV, volume 2725 of Lecture Notes in Computer Science, page 14-26. Springer, (2003)
- FORTE, volume 183 of IFIP Conference Proceedings, page 35-50. Kluwer, (2000)
