Georg Hofferek. Automated synthesis and design-error repair of systems. In Jaan Raik, Viera Stopjaková, Heinrich Theodor Vierhaus, Witold A. Pleskacz, Raimund Ubar, Helena Kruus, Maksim Jenihhin, editors, IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012. pages 6, IEEE, 2012. [doi]
@inproceedings{Hofferek12,
title = {Automated synthesis and design-error repair of systems},
author = {Georg Hofferek},
year = {2012},
doi = {10.1109/DDECS.2012.6219012},
url = {http://dx.doi.org/10.1109/DDECS.2012.6219012},
researchr = {https://researchr.org/publication/Hofferek12},
cites = {0},
citedby = {0},
pages = {6},
booktitle = {IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012},
editor = {Jaan Raik and Viera Stopjaková and Heinrich Theodor Vierhaus and Witold A. Pleskacz and Raimund Ubar and Helena Kruus and Maksim Jenihhin},
publisher = {IEEE},
isbn = {978-1-4673-1187-8},
}