C
Claude Jard
4 works on record
Works

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2008
Modeling and Verification of Parallel Processes
Modeling and Verification of Parallel Processes
2003
Communicating embedded systems
Communicating embedded systems