Author:
Viesmose Birch Sine,Stig Jacobsen Thomas,Jon Jensen Jacob,Moesgaard Christoffer,Nørgaard Samuelsen Niels,Srba Jiří
Publisher
Springer International Publishing
Reference25 articles.
1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Lecture Notes in Computer Science;R. Alur,1993
3. Lecture Notes in Computer Science;M. Andersen,2013
4. Lecture Notes in Computer Science;E. Asarin,1998
5. Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, pp. 1–14. North-Holland, Amsterdam (1990)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献