Author:
Abdulla Parosh Aziz,Chen Yu-Fang,Delzanno Giorgio,Haziza Frédéric,Hong Chih-Duo,Rezine Ahmed
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2008
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: LICS 1996, pp. 313–321 (1996)
3. Abdulla, P.A., Chen, Y.-F., Delzanno, G., Haziza, F., Hong, C.-D., Rezine, A.: Constrained monotonic abstraction: a cegar for parameterized verification. Tech. report 2010-015, Uppsala University, Sweden (2010)
4. Lecture Notes in Computer Science;P.A. Abdulla,2007
5. Abdulla, P.A., Delzanno, G., Rezine, A.: Approximated context-sensitive analysis for parameterized verification. In: FMOODS 2009/FORTE 2009, pp. 41–56 (2009)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献