1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: LICS, pp. 313–321 (1996)
2. Bansal, K., Koskinen, E., Wies, T., Zufferey, D.: Structural counter abstraction. Technical Report TR2012-947, New York University (2012)
3. Lecture Notes in Computer Science;G. Basler,2009
4. Lecture Notes in Computer Science;J. Berdine,2006
5. Lecture Notes in Computer Science;H. Carstensen,1987