Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. Verifying hardware in its software context. In ICCAD. pages 742-749, 1997. [doi]
@inproceedings{KurshanLMPY97, title = {Verifying hardware in its software context}, author = {Robert P. Kurshan and Vladimir Levin and Marius Minea and Doron Peled and Hüsnü Yenigün}, year = {1997}, doi = {10.1145/266388.266625}, url = {http://doi.acm.org/10.1145/266388.266625}, tags = {context-aware}, researchr = {https://researchr.org/publication/KurshanLMPY97}, cites = {0}, citedby = {0}, pages = {742-749}, booktitle = {ICCAD}, }