Author:
Larsen Kim G.,Mikučionis Marius,Muñiz Marco,Srba Jiří
Publisher
Springer International Publishing
Reference27 articles.
1. Aceto, L., Ingolfsdottir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification, p. 195. Cambridge University Press, Cambridge (2007)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Lecture Notes in Computer Science;S Feo-Arenis,2013
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
5. Behrmann, G., Bouyer, P., Larsen, K.G., Pelánek, R.: Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. 8(3), 204–215 (2006).
https://doi.org/10.1007/s10009-005-0190-0
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献