Author:
Ciancamerla E.,Minichino M.,Serro S.,Tronci E.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. SAFETUNNEL Project (IST – 2000 – 28099) , http://www.crfproject-eu.org/
2. Dill, D.L., Drexler, A.J., Hu, A.J., Yang, C.H.: Protocol Verification as a Hardware Design Tool. In: IEEE International Conference on Computer Aided Design (1992)
3. Bryant, R.: Graph-Based algorithms for Boolean function manipulation. IEEE Trans. On Computers C-35(8) (August 1986)
4. Hu, A.J., York, G., Dill, D.L.: New techniques for efficient verification with implicitily conjoined BDDs. In: 31st IEEE Design Automation Conference (1994)
5. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 states and beyond. Information and Computation (98) (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献