Author:
Aminof Benjamin,Rubin Sasha,Zuleger Florian,Spegni Francesco
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abdulla, P.A., Deneux, J., Mahata, P.: Multi-clock timed networks. In: Ganzinger, H. (ed.) LICS, pp. 345–354, July 2004
2. Abdulla, P.A., Jonsson, B.: Model checking of systems with manyidentical timed processes. TCS 290(1), 241–264 (2003)
3. Lecture Notes in Computer Science;R Alur,1999
4. Lecture Notes in Computer Science;B Aminof,2014
5. Lecture Notes in Computer Science;B Aminof,2014
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献