Author:
Langberg Michael,Pnueli Amir,Rodeh Yoav
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Berman, C.L.: Ordered binary decision diagrams and circuit structure. In: International Conference on Computer Design 1989 (1989)
2. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computing (1986)
3. Biere, A., Cimatti, A., Clarke, E.M., Fujita, M.: Symbolic model checking using SAT procedures instead of BDDs. In: Design Automation Conference DAC 1999 (1999)
4. Lecture Notes in Computer Science;B. Bollig,2000
5. Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献