Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha. Verification of Electronic Systems. In DAC. pages 106-111, 1996. [doi]
@inproceedings{Sangiovanni-VincentelliMS96,
title = {Verification of Electronic Systems},
author = {Alberto L. Sangiovanni-Vincentelli and Patrick C. McGeer and Alexander Saldanha},
year = {1996},
doi = {10.1145/240518.240539},
url = {http://doi.acm.org/10.1145/240518.240539},
tags = {C++},
researchr = {https://researchr.org/publication/Sangiovanni-VincentelliMS96},
cites = {0},
citedby = {0},
pages = {106-111},
booktitle = {DAC},
}