Publisher
Springer International Publishing
Reference19 articles.
1. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14–64 (2011).
https://doi.org/10.1145/2000799.2000800
2. Bozzano, M., et al.: nuXmv 1.1.1 User Manual (2016).
https://es.fbk.eu/tools/nuxmv/downloads/nuxmv-user-manual.pdf
3. Bryant, R.E.: Binary decision diagrams. In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 191–217. Springer, Cham (2018).
https://doi.org/10.1007/978-3-319-10575-8_7
4. Lecture Notes in Computer Science;R Cavada,2014
5. Lecture Notes in Computer Science;F Chen,2009
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献