Search results for: Laure Petrucci
Lecture Notes in Computer Science > Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems > 136-156
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Tool Papers > 474-483
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 381-396
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > PNML Paper > 483-505
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 6. Model Checking > 280-295
Lecture Notes in Computer Science