Author:
Schivo Stefano,Langerak Rom
Publisher
Springer International Publishing
Reference41 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
2. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. In: Proceedings of the IEEE, pp. 971–984 (2000)
3. Bos, W.: Interactive signaling network analysis tool. Master’s thesis, University of Twente (2009)
4. Lecture Notes in Computer Science;P Bouyer,2015
5. Lecture Notes in Computer Science;L Brim,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献