Martin Freibothe, Jens Schönherr, Bernd Straube. Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. Electronic Notes in Theoretical Computer Science, 153(3):23-35, 2006. [doi]
@article{FreibotheSS06,
title = {Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking},
author = {Martin Freibothe and Jens Schönherr and Bernd Straube},
year = {2006},
doi = {10.1016/j.entcs.2006.01.027},
url = {http://dx.doi.org/10.1016/j.entcs.2006.01.027},
researchr = {https://researchr.org/publication/FreibotheSS06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {3},
pages = {23-35},
}