1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: Algorithmic Analysis of Programs with Well Quasi-ordered Domains. Inf. and Comp. 160(1-2), 109–127 (2000)
2. Abdulla, P.A., Nylén, A.: Better is Better than Well: On Efficient Verification of Infinite-State Systems. In: 15th Annual IEEE Symp. on Logic in Computer Science, LICS 2000, pp. 132–140 (2000)
3. Abdulla, P.A., Collomb-Annichini, A., Bouajjani, A., Jonsson, B.: Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design 25(1), 39–65 (2004)
4. Lecture Notes in Computer Science;S. Bardin,2005
5. Dietze, R., Kudlek, M., Kummer, O.: Decidability Problems of a Basic Class of Object Nets. In: Fundamenta Informaticae, vol. 79, pp. 295–302. IOS Press, Amsterdam (2007)