Search results for: Claude Jard
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 291-305
Lecture Notes in Computer Science > STACS 92 > 363-374
Theory of Computing Systems > 2017 > 60 > 4 > 677-694
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Test Generation > 169-183
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 307-321
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 711-725
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 326-342
Lecture Notes in Computer Science > Testing of Communicating Systems > Session II: Testing Non-deterministic and Probabilistic Systems > 71-86
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 1-26
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 125-145
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 489-502
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 629-643
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 196-210
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 97-113