Search results for: Dominique Bolignano
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 358-377
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 169-180
Electronic Notes in Theoretical Computer Science > 1999 > 20 > Complete > 95-116