%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 dblp %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-00-048889-4

@inproceedings{conf/mbmv/SchottRH15, added-at = {2015-08-07T00:00:00.000+0200}, author = {Schott, Christian and Rößler, Marko and Heinkel, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/2ca6d90c99cb763ca80e052c003687167/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2015}, editor = {Heinkel, Ulrich and Kriesten, Daniel and Rößler, Marko}, ee = {https://d-nb.info/1068405465}, interhash = {7825eee5a949371f4927a95dff3ea7ad}, intrahash = {ca6d90c99cb763ca80e052c003687167}, isbn = {978-3-00-048889-4}, keywords = {dblp}, pages = {5-13}, publisher = {Sächsische Landesbibliothek}, timestamp = {2024-04-09T14:55:40.000+0200}, 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 }