Author:
van Beek D.A.,Rooda J.E.,Schiffelers R.R.H.,Man K.L.,Reniers M.A.
Subject
General Computer Science,Theoretical Computer Science
Reference47 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Hierarchical modeling and analysis of embedded systems;Alur;Proceeddings of the IEEE,2003
3. Automatic symbolic verification of embedded systems;Alur;IEEE Transactions on Software Engineering,1996
4. Beek, D.A.v., A.v.d. Ham and J.E. Rooda, Modelling and control of process industry batch production systems, in: E. Camacho, L. Basanez and J. de la Puente, editors, 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, 2002, CD-ROM
5. Relating Chi to hybrid automata;Beek,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献