Author:
Kaiser Alexander,Kroening Daniel,Wahl Thomas
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abdulla, P.A.: Well (and better) quasi-ordered transition systems. B. Symb. Log. (2010)
2. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems of infinite-state systems. In: LICS (1996)
3. Abdulla, P.A., Delzanno, G., Rezine, A.: Monotonic abstraction in parameterized verification. ENTCS (2008)
4. Andrews, G.R.: Concurrent programming: principles and practice. Benjamin-Cummings Publishing Co., Inc., Redwood City (1991)
5. Lecture Notes in Computer Science;T. Arons,2001
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献