Wyniki wyszukiwania dla: Jean-Michel Couvreur
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 121-143
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 90-107
Lecture Notes in Computer Science > Model Checking Software > Checking Temporal Properties > 169-184
Lecture Notes in Computer Science > Implementation and Application of Automata > Poster Papers > 310-311
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 361-375
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 123-145
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 443-457
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
Petri Nets > Verification and Application of Petri Nets > 415 - 434