Author:
Lengál Ondřej,Lin Anthony W.,Majumdar Rupak,Rümmer Philipp
Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. PRISM website (referred in July 2015). http://www.prismmodelchecker.org/
2. Lecture Notes in Computer Science;PA Abdulla,2010
3. Abdulla, P.A.: Regular model checking. STTT 14(2), 109–118 (2012)
4. Abdulla, P.A., Jonsson, B., Nilsson, M., d’Orso, J., Saksena, M.: Regular model checking for LTL (MSO). STTT 14(2), 223–241 (2012)
5. Alur, R., Henzinger, T.A.: Finitary fairness. ACM Trans. Program. Lang. Syst. 20(6), 1171–1194 (1998)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献