Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;M. Abadi,1989
2. Lecture Notes in Computer Science;A. Anuchitanukul,1994
3. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc. IBM Workshop on Logics of Programs, pp. 52–71. Springer, Heidelberg (1981)
4. Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. J. ACM 42(4), 857–907 (1995)
5. de Alfaro, L.: From fairness to chance. In: Proc. PROBMIV 1998 (1999)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Graph Games and Reactive Synthesis;Handbook of Model Checking;2018
2. The Density of Linear-Time Properties;Automated Technology for Verification and Analysis;2017