Author:
Almagor Shaull,Boker Udi,Kupferman Orna
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lecture Notes in Computer Science;S. Almagor,2013
2. Lecture Notes in Computer Science;S. Almagor,2010
3. Bojańczyk, M., Colcombet, T.: Bounds in ω-regularity. In: 21st LICS, pp. 285–296 (2006)
4. Boker, U., Chatterjee, K., Henzinger, T.A., Kupferman, O.: Temporal Specifications with Accumulative Values. In: 26th LICS, pp. 43–52 (2011)
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献