Search results for: Denis Poitrenaud
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 121-143
Lecture Notes in Computer Science > Model Checking Software > Checking Temporal Properties > 169-184
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 387-408
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 123-145
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 288-306
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 276-291
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking I > 1-15
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 336-350
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 129-148
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Temporal Logic I > 213-227
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 101-120
Formal Methods in System Design > 2011 > 39 > 2 > 165-184
Petri Nets > Verification and Application of Petri Nets > 415 - 434
Acta Informatica > 2007 > 44 > 7-8 > 463-508