@INPROCEEDINGS
{kannas:fmcad00,
AUTHOR = "Kanna Shimizu and David L. Dill and Alan J. Hu",
TITLE = "Monitor-{Based} {Formal} {Specification} of {PCI}",
BOOKTITLE = "Proceedings of the Third International Conference of Formal
Methods in Computer-Aided Design",
MONTH = "November",
YEAR = "2000",
LOCATION = "Austin, Texas"
}