Author:
Katz Gal,Peled Doron,Schewe Sven
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;A. Basu,2009
2. Lecture Notes in Computer Science;S. Bensalem,2010
3. Clarke, E.M.: Synthesis of Resource Invariants for Concurrent Programs. ACM Transactions on Programming Languages and Systems 2(3), 338–358 (1980)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
5. Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: LICS 2005, Chicago, IL, pp. 321–330 (2005)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献