Janett Mohnke, Paul Molitor, Sharad Malik. Application of BDDs in Boolean matching techniques for formal logic combinational verification. STTT, 3(2):207-216, 2001. [doi]
@article{MohnkeMM01,
title = {Application of BDDs in Boolean matching techniques for formal logic combinational verification},
author = {Janett Mohnke and Paul Molitor and Sharad Malik},
year = {2001},
url = {http://link.springer.de/link/service/journals/10009/bibs/1003002/10030207.htm},
tags = {logic},
researchr = {https://researchr.org/publication/MohnkeMM01},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {3},
number = {2},
pages = {207-216},
}