Author:
Vijzelaar Stefan J. J.,Fokkink Wan J.
Publisher
Springer International Publishing
Reference13 articles.
1. Andrade, J.O., Kameyama, Y.: Efficient multi-valued bounded model checking for LTL over quasi-Boolean algebras. IEICE Trans. 95–D(5), 1355–1364 (2012)
2. Augustijn, R.: Multivalued logics and hyper transitions in SpinJa. Master’s thesis. Vrije Universiteit Amsterdam (2015)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Lecture Notes in Computer Science;G Bruns,2004
5. Lecture Notes in Computer Science;M Chechik,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 3vLTL: A Tool to Generate Automata for Three-valued LTL;Electronic Proceedings in Theoretical Computer Science;2023-11-15