ABSTRACT
No abstract available.
- 1.R. E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, C- 35(8):677-691, August 1986. Google ScholarDigital Library
- 2.George W. Furnas. Generalized fisheye views. In In proceedings of CHI, 1986, pages 16-23, New York, 1986. ACM. Google ScholarDigital Library
- 3.Eleftherios Koutsofios and Stephen C. North. Drawing graphs with dot. http://www, research.att, com: 80/orgs/ssr/ book~reuse/, 1993.Google Scholar
- 4.David E. Long. bddlib---a binary decision diagram (bdd) package, http://www.cs.cmu.edu/afs/cs/project/modck/ pub/www/bdd, html, 1993.Google Scholar
Index Terms
- BDDTCL: an environment for visualizing and manipulating binary decision diagrams
Comments