Author:
Bensalem Saddek,Bozga Marius,Graf Susanne,Peled Doron,Quinton Sophie
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. 5643;A. Basu,2009
2. Lecture Notes in Computer Science;A. Basu,2008
3. Lecture Notes in Computer Science;E.A. Emerson,1980
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
5. Genrich, H.J., Lautenbauch, K.: System Modeling with High-level Petri Nets. Theoretical Computer Science 13, 109–135 (1981)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献