Monitor-Based Formal Specification of PCI.

Kanna Shimizu, David L. Dill, Alan J. Hu

Browse the full FMCAD paper archive.