Author:
Zhang Ying,K. Mackworth Alan
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. The theory of timed automata;Alur,1991
2. Dataflow and education: data-driven and demand-driven distributed computation;Ashcroft,1986
3. Hybrid dynamical systems theory and the SIGNAL language;Benveniste;IEEE Trans. Automat. Control,1990
4. A denotational theory of synchronous reactive systems;Benveniste;Inform. and Comput.,1992
5. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Trans. Software Eng.,1991
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;Artificial Intelligence;2017-09-25
2. Mathematical Preliminaries and Notation;Artificial Intelligence;2017-09-25
3. Retrospect and Prospect;Artificial Intelligence;2017-09-25
4. Relational Planning, Learning, and Probabilistic Reasoning;Artificial Intelligence;2017-09-25
5. Ontologies and Knowledge-Based Systems;Artificial Intelligence;2017-09-25