Christof Fetzer, Ute Schiffel, Martin Süßkraut. AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. In Bettina Buth, Gerd Rabe, Till Seyfarth, editors, Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Volume 5775 of Lecture Notes in Computer Science, pages 283-296, Springer, 2009. [doi]
@inproceedings{FetzerSS09,
title = {AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware},
author = {Christof Fetzer and Ute Schiffel and Martin Süßkraut},
year = {2009},
doi = {10.1007/978-3-642-04468-7_23},
url = {http://dx.doi.org/10.1007/978-3-642-04468-7_23},
tags = {compiler},
researchr = {https://researchr.org/publication/FetzerSS09},
cites = {0},
citedby = {0},
pages = {283-296},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
editor = {Bettina Buth and Gerd Rabe and Till Seyfarth},
volume = {5775},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04467-0},
}