Syntax and Semantics of Timed

  title={Syntax and Semantics of Timed},
  author={Chi and Dirk A. van Beek and Ka Lok Man and Michel A. Reniers and J. E. Rooda and Ramon R. H. Schiffelers},
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Figures and tables from this paper.


Publications citing this paper.
Showing 1-10 of 17 extracted citations


Publications referenced by this paper.
Showing 1-10 of 18 references

Formal Specification and Analysis of Industrial Systems

  • V. Bos, J.J.T. Kleijn
  • PhD thesis, Eindhoven University of Technology,
  • 2002
Highly Influential
6 Excerpts

Hybrid transition systems

  • P.J.L. Cuijpers, M. A. Reniers, W.P.M.H. Heemels
  • Technical Report CS-Report 02-12,
  • 2002
1 Excerpt

Automatic verification of a manufacturing system

  • V. Bos, J.J.T. Kleijn
  • Robotics and Computer Integrated Manufacturing,
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…