Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3), 293–318 (1992)
2. Norrish, M., Slind, K.: A thread of HOL development. Computer Journal 45(1), 37–45 (2002)
3. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
4. Andersen, H.R.: An introduction to binary decision diagrams (1997),
http://www.itu.dk/people/hra/bdd97-abstract.html
5. Lecture Notes in Computer Science;M.D. Aagaard,1999