Author:
Hahn Ernst Moritz,Li Yi,Schewe Sven,Turrini Andrea,Zhang Lijun
Publisher
Springer International Publishing
Reference11 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
2. Lecture Notes in Computer Science;A. Bianco,1995
3. Ciesinski, F., Baier, C.: LiQuor: A tool for qualitative and quantitative linear time analysis of reactive systems. In: QEST, pp. 131–132 (2006)
4. Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. JACM 42(4), 857–907 (1995)
5. Duret-Lutz, A.: LTL translation improvements in SPOT. In: VECoS, pp. 72–83. BCS (2011)
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献