Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;A. Bouajjani,1996
2. Lecture Notes in Computer Science;A. Bouajjani,1997
3. Lecture Notes in Computer Science;A. Bouajjani,2003
4. Lecture Notes in Computer Science;O. Burkart,1994
5. Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification on Infinite Structures. In: Handbook of Process Algebra, pp. 545–623. North-Holland, Amsterdam (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献