Klaus Schneider, Ramayya Kumar, Thomas Kropf. Hardware-Verification using First Order BDDs. In David Agnew, Luc J. M. Claesen, Raul Camposano, editors, Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL 93, sponsored by IFIP WG10.2 and in cooperation with IEE. Volume A-32 of IFIP Transactions, pages 45-62, North-Holland, 1993.
@inproceedings{SchneiderKK93,
title = {Hardware-Verification using First Order BDDs},
author = {Klaus Schneider and Ramayya Kumar and Thomas Kropf},
year = {1993},
researchr = {https://researchr.org/publication/SchneiderKK93},
cites = {0},
citedby = {0},
pages = {45-62},
booktitle = {Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL 93, sponsored by IFIP WG10.2 and in cooperation with IEE},
editor = {David Agnew and Luc J. M. Claesen and Raul Camposano},
volume = {A-32},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-81641-0},
}