Klaus Schneider. A Verified Hardware Synthesis of Esterel Programs. In Bernd Kleinjohann, editor, Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany. Volume 189 of IFIP Conference Proceedings, pages 205-214, Kluwer, 2000.
@inproceedings{Schneider00:6,
title = {A Verified Hardware Synthesis of Esterel Programs},
author = {Klaus Schneider},
year = {2000},
tags = {program verification},
researchr = {https://researchr.org/publication/Schneider00%3A6},
cites = {0},
citedby = {0},
pages = {205-214},
booktitle = {Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany},
editor = {Bernd Kleinjohann},
volume = {189},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-7345-6},
}