Author:
Esparza Javier,Ganty Pierre,Majumdar Rupak
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.K.: General decidability theorems for infinite-state systems. In: LICS 1996, pp. 313–321. IEEE Computer Society (1996)
2. Apt, K.R., Kozen, D.C.: Limits for automatic verification of finite-state concurrent systems. Information Processing Letters 22(6), 307–309 (1986)
3. Arora, S., Barak, B.: Computational Complexity–A Modern Approach. CUP (2009)
4. Brainerd, B.: An analog of a theorem about context-free languages. Information and Control 11(56), 561–567 (1967)
5. Lecture Notes in Computer Science;E.M. Clarke,2008
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献