Author:
Ganjei Zeinab,Rezine Ahmed,Eles Petru,Peng Zebo
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2007
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: Proceedigs of the LICS 1996,
$$11^{th}$$
IEEE International Symposium on Logic in Computer Science, pp. 313–321 (1996)
3. Lecture Notes in Computer Science;PA Abdulla,2010
4. Lecture Notes in Computer Science;PA Abdulla,2007
5. Ball, T., Rajamani, S.K.: The SLAM Project: debugging system software via static analysis. In: Proceedings of the 29th ACM SIGPLAN-SIGACT, POPL 2002, pp. 1–3. ACM, New York (2002)