Oriol Roig, Jordi Cortadella, Enric Pastor. Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 374-391, Springer, 1995.
Abstract is missing.