Geoff Barrett, Anthony McIsaac
Model Checking in a Microprocessor Design Project
CAV, 1997.
@inproceedings{CAV-1997-BarrettM, author = "Geoff Barrett and Anthony McIsaac", booktitle = "{Proceedings of the Ninth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-63166-6_22", isbn = "3-540-63166-6", pages = "214--225", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Model Checking in a Microprocessor Design Project}", volume = 1254, year = 1997, }