Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl
Model Checking in Industrial Hardware Design
DAC, 1995.
@inproceedings{DAC-1995-BormannLPV,
author = "Jörg Bormann and Jörg Lohse and Michael Payer and Gerd Venzl",
booktitle = "{Proceedings of the 32nd Design Automation Conference}",
doi = "10.1145/217474.217545",
isbn = "0-89791-725-1",
pages = "298--303",
publisher = "{ACM Press}",
title = "{Model Checking in Industrial Hardware Design}",
year = 1995,
}