%0 Conference Paper %1 conf/mbmv/SchottRH15 %A Schott, Christian %A Rößler, Marko %A Heinkel, Ulrich %B MBMV %D 2015 %E Heinkel, Ulrich %E Kriesten, Daniel %E Rößler, Marko %I Sächsische Landesbibliothek %K %P 5-13 %T Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2015.html#SchottRH15 %@ 978-3-944640-34-1

@inproceedings{conf/mbmv/SchottRH15, added-at = {2023-12-13T01:54:31.000+0100}, author = {Schott, Christian and Rößler, Marko and Heinkel, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/2ca6d90c99cb763ca80e052c003687167/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2015}, editor = {Heinkel, Ulrich and Kriesten, Daniel and Rößler, Marko}, interhash = {7825eee5a949371f4927a95dff3ea7ad}, intrahash = {ca6d90c99cb763ca80e052c003687167}, isbn = {978-3-944640-34-1}, keywords = {}, pages = {5-13}, publisher = {Sächsische Landesbibliothek}, timestamp = {2023-12-13T01:54:31.000+0100}, title = {Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2015.html#SchottRH15}, year = 2015 }