Anna Slobodová. Formal Verification Methods for Industrial Hardware Design. In Leszek Pacholski, Peter Ruzicka, editors, SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings. Volume 2234 of Lecture Notes in Computer Science, pages 116-135, Springer, 2001. [doi]
@inproceedings{Slobodova01:0,
title = {Formal Verification Methods for Industrial Hardware Design},
author = {Anna Slobodová},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2234/22340116.htm},
tags = {design},
researchr = {https://researchr.org/publication/Slobodova01%3A0},
cites = {0},
citedby = {0},
pages = {116-135},
booktitle = {SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings},
editor = {Leszek Pacholski and Peter Ruzicka},
volume = {2234},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42912-3},
}