Claudia Blank, Hans Eveking, Jens Levihn, Gerd Ritter. Symbolic simulation techniques-state-of-the-art and applications. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 45-50, IEEE Computer Society, 2001. [doi]
@inproceedings{BlankELR01,
title = {Symbolic simulation techniques-state-of-the-art and applications},
author = {Claudia Blank and Hans Eveking and Jens Levihn and Gerd Ritter},
year = {2001},
doi = {10.1109/HLDVT.2001.972806},
url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2001.972806},
researchr = {https://researchr.org/publication/BlankELR01},
cites = {0},
citedby = {0},
pages = {45-50},
booktitle = {Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
publisher = {IEEE Computer Society},
isbn = {0-7695-1411-1},
}