%0 Conference Paper %1 conf/icit2/WenzlFRTM15 %A Wenzl, Matthias %A Fibich, Christian %A Rössler, Peter %A Taucher, Herbert %A Matschnig, Martin %B ICIT %D 2015 %I IEEE %K dblp %P 1581-1586 %T Logic synthesis of assertions for saftey-critical applications. %U http://dblp.uni-trier.de/db/conf/icit2/icit2015.html#WenzlFRTM15 %@ 978-1-4799-7800-7

@inproceedings{conf/icit2/WenzlFRTM15, added-at = {2023-08-06T00:00:00.000+0200}, author = {Wenzl, Matthias and Fibich, Christian and Rössler, Peter and Taucher, Herbert and Matschnig, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2a61c0851b02e525193415e3936efb0c4/dblp}, booktitle = {ICIT}, crossref = {conf/icit2/2015}, ee = {https://doi.org/10.1109/ICIT.2015.7125322}, interhash = {00bd49549350e71e5fc9ed7987a73634}, intrahash = {a61c0851b02e525193415e3936efb0c4}, isbn = {978-1-4799-7800-7}, keywords = {dblp}, pages = {1581-1586}, publisher = {IEEE}, timestamp = {2024-04-10T09:32:31.000+0200}, title = {Logic synthesis of assertions for saftey-critical applications.}, url = {http://dblp.uni-trier.de/db/conf/icit2/icit2015.html#WenzlFRTM15}, year = 2015 }