Author:
Pascal Gribomont E.,Salloum Nachaat
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. H.R. Andersen, An Introduction to Binary Decision Diagrams, Available at
http://andrea.it.dtu.dk/~hra/notes-index.html
(1997, 1998.
2. A. Borälv, The Industrial Success of Verification Tools Based on Stalmårck’s method, Lect. Notes in Comput. Sci. 1254 (1997) 7–10.
3. R.E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Trans. on Computers C-35 (1986) 677–691.
4. K.M. Chandy and J. Misra, Parallel Program Design: A Foundation (Addison-Wesley, Reading, MA, 1988).
5. E.P. Gribomont and D. Rossetto, CAVEAT: technique and tool for Computer Aided VErification And Transformation, Lect. Notes in Comput. Sci. 939 (1995) 70–83.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using BDDs with Combinations of Theories;Logic for Programming, Artificial Intelligence, and Reasoning;2002