Author:
Jobstmann Barbara,Staber Stefan,Griesmayer Andreas,Bloem Roderick
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference75 articles.
1. A. Church, Logic, arithmetic and automata, in: Proceedings of the International Mathematical Congress, 1962.
2. A. Pnueli, R. Rosner, On the synthesis of a reactive module, in: Proc. Symposium on Principles of Programming Languages (POPL ʼ89), 1989, pp. 179–190.
3. B. Jobstmann, R. Bloem, Optimizations for LTL synthesis, in: 6th Conference on Formal Methods in Computer Aided Design (FMCADʼ06), 2006, pp. 117–124.
4. B. Jobstmann, S. Galler, M. Weiglhofer, R. Bloem, Anzu: A tool for property synthesis, in: Computer Aided Verification, 2007, pp. 258–262.
5. Specify, compile, run: Hardware form PSL;Bloem,2007
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献