Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik. Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams. In Zeljko Zilic, Sandeep K. Shukla, editors, 2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011. pages 83, IEEE, 2011. [doi]
@inproceedings{KarputkinUTR11-0,
title = {Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams},
author = {Anton Karputkin and Raimund Ubar and Mati Tombak and Jaan Raik},
year = {2011},
doi = {10.1109/HLDVT.2011.6113980},
url = {http://dx.doi.org/10.1109/HLDVT.2011.6113980},
researchr = {https://researchr.org/publication/KarputkinUTR11-0},
cites = {0},
citedby = {0},
pages = {83},
booktitle = {2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011},
editor = {Zeljko Zilic and Sandeep K. Shukla},
publisher = {IEEE},
isbn = {978-1-4577-1744-4},
}