Search results for: Pierre Azéma
Lecture Notes in Computer Science > Automatic Verification Methods for Finite State Systems > 286-293
Lecture Notes in Computer Science > Concurrent Object-Oriented Programming and Petri Nets > Section III > 473-492
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 187-206
Lecture Notes in Computer Science
Computer Networks > 2001 > 36 > 5-6 > 671-693