%0 Conference Paper %1 conf/dac/BormannLPV95 %A Bormann, Jörg %A Lohse, Jörg %A Payer, Michael %A Venzl, Gerd %B DAC %D 1995 %E Preas, Bryan %I ACM Press %K %P 298-303 %T Model Checking in Industrial Hardware Design. %U http://dblp.uni-trier.de/db/conf/dac/dac95.html#BormannLPV95 %@ 0-89791-725-1

@inproceedings{conf/dac/BormannLPV95, added-at = {2023-12-13T01:35:05.000+0100}, author = {Bormann, Jörg and Lohse, Jörg and Payer, Michael and Venzl, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/2a633a3d0bb317273c728edd352d74332/admin}, booktitle = {DAC}, crossref = {conf/dac/1995}, editor = {Preas, Bryan}, ee = {http://doi.acm.org/10.1145/217474.217545}, interhash = {739c04a384562c9a2092270474cccbae}, intrahash = {a633a3d0bb317273c728edd352d74332}, isbn = {0-89791-725-1}, keywords = {}, pages = {298-303}, publisher = {ACM Press}, timestamp = {2023-12-13T01:35:05.000+0100}, title = {Model Checking in Industrial Hardware Design.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac95.html#BormannLPV95}, year = 1995 }