Author:
Emerson E. Allen,Trefler Richard J.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lect Notes Comput Sci;K. Ajami,1998
2. Burch, J. R., Clarke, E. M., McMillan, K. L., Dill, D. L. and Hwang, L. J., Symbolic Model Checking: 102 states and beyond. In Information and Computation, 98(2):142–170, June, 1992.
3. Bryant, R. E., Graph-Based Algorithms for Boolean Function Manipulation. In IEEE Transactions on Computers, Vol. C-35, No. 8, Aug. 86, pp. 677–691.
4. Lect Notes Comput Sci;E. M. Clarke,1981
5. Lect Notes Comput Sci;E. M. Clarke,1998
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献