Author:
Beer Ilan,Ben-David Shoham,Eisner Cindy,Fisman Dana,Gringauze Anna,Rodeh Yoav
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Lect Notes Comput Sci;Y. Abarbanel,2000
2. I. Beer, S. Ben-David, C Eisner, and A. Landver. RuleBase: an industry-oriented formal verification tool. In DAC’ 96, pages 655–660, June 1996.
3. Lect Notes Comput Sci;I. Beer,1998
4. Lect Notes Comput Sci;E. Clarke,1981
5. A. Pnueli. The temporal logic of programs. In Proc. 18th Annual IEEE Symposium on Foundations of Computer Science, pages 46–57, 1977.
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献