From ATP to timed graphs and hybrid systems

This publication has 4 references indexed in Scilit:

• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• CCS + time = an interleaving model for real time systems
  Published by Springer Nature ,1991
• The ESTEREL synchronous programming language and its mathematical semantics
  Lecture Notes in Computer Science, 1985