Hans Eveking
Automatic Verification of Extensions of Hardware Descriptions
CAV, 1990.
@inproceedings{CAV-1990-Eveking, author = "Hans Eveking", booktitle = "{Proceedings of the Second International Workshop on Computer Aided Verification}", doi = "10.1007/BFb0023714", isbn = "3-540-54477-1", pages = "2--12", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Automatic Verification of Extensions of Hardware Descriptions}", volume = 531, year = 1990, }