Author:
Anuchitanukul Anuchit,Manna Zohar
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Zohar Manna (1939–2018);Formal Aspects of Computing;2019-12
2. Synthesis of large dynamic concurrent programs from dynamic specifications;Formal Methods in System Design;2016-04
3. Fair Synthesis for Asynchronous Distributed Systems;ACM Transactions on Computational Logic;2013-06
4. Distributed Control;Models and Analysis in Distributed Systems;2013-03-06
5. Synthesis for Probabilistic Environments;Automated Technology for Verification and Analysis;2006