Author:
Bouajjani Ahmed,Habermehl Peter,Jurski Yan,Sighireanu Mihaela
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;P. Abdulla,2001
2. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: Proc. of LICS 1996, pp. 313–321 (1996)
3. Abdulla, P.A., Delzanno, G.: On the Coverability Problem for Constrained Multiset Rewriting. In: Proc. of AVIS’06, Satellite workshop of ETAPS 2006, Vienna, Austria (2006)
4. Lecture Notes in Computer Science;P.A. Abdulla,2004
5. Lecture Notes in Computer Science;P.A. Abdulla,1998
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献