|
|
|
| [JPK] | Joost-Pieter Katoen: "Concepts, Algorithms,
and Tools for Model Checking". (Lecture Notes) (.ps.gz) |
| [HRA] | Henrik Reif Andersen. "An Introduction to Binary Decision Diagrams." DTU,
Sep. 1997 (.ps.gz) |
| [B86] | Randy E. Bryant, "Graph-Based Algorithms for Boolean Function
Manipulation,"
IEEE Transactions on Computers,
Vol. C-35, No. 8 (August, 1986), pp. 677-691. (.ps.gz) |
| [B92] | Randy E. Bryant, "Symbolic Boolean Manipulation with Ordered Binary
Decision Diagrams,"
ACM Computing Surveys, Vol. 24, No. 3 (September, 1992),
pp. 293-318. (.ps.gz) |
| further... | Further relevant publications can be found in recent conferences of
CAV, TACAS, LICS, ICCAD, DATE, etc.
This link points to a
collection of related ones. For general literature search, you can use the Bibliography & Library Index Page |