Author:
Svoreňová Mária,Křetínský Jan,Chmelík Martin,Chatterjee Krishnendu,Černá Ivana,Belta Calin
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference38 articles.
1. Model Checking;Clarke,1999
2. Principles of Model Checking;Baier,2008
3. Applications of recursive arithmetic to the problem of circuit synthesis;Church,1957
4. Solving sequential conditions by finite-state strategies;Büchi;Trans. Amer. Math. Soc.,1969
5. A. Pnueli, R. Rosner, On the synthesis of a reactive module, in: Proc. of POPL, 1989, pp. 179–190.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献