Author:
Esparza Javier,Raskin Mikhail,Welzel Christoph
Publisher
Springer International Publishing
Reference45 articles.
1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: LICS, pp. 313–321. IEEE Computer Society (1996)
2. Lecture Notes in Computer Science;PA Abdulla,2007
3. Lecture Notes in Computer Science;PA Abdulla,2004
4. Abdulla, P.A., Sistla, A.P., Talupur, M.: Model checking parameterized systems. Handbook of Model Checking, pp. 685–725. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_21
5. Apt, K.R., Kozen, D.C.: Limits for automatic verification of finite-state concurrent systems. Inf. Process. Lett. 22(6), 307–309 (1986)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献