%0 Conference Paper %1 conf/mbmv/ScheiblerWWB15 %A Scheibler, Karsten %A Winterer, Leonore %A Wimmer, Ralf %A Becker, Bernd %B MBMV %D 2015 %E Heinkel, Ulrich %E Kriesten, Daniel %E Rößler, Marko %I Sächsische Landesbibliothek %K dblp %P 30-40 %T Towards Verification of Artificial Neural Networks. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2015.html#ScheiblerWWB15 %@ 978-3-944640-34-1

@inproceedings{conf/mbmv/ScheiblerWWB15, added-at = {2015-08-07T00:00:00.000+0200}, author = {Scheibler, Karsten and Winterer, Leonore and Wimmer, Ralf and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fa425ef3e6245cb378c105029ee7f776/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2015}, editor = {Heinkel, Ulrich and Kriesten, Daniel and Rößler, Marko}, interhash = {1d1ada09b1eeb0c1e21fdd46c46ee5f6}, intrahash = {fa425ef3e6245cb378c105029ee7f776}, isbn = {978-3-944640-34-1}, keywords = {dblp}, pages = {30-40}, publisher = {Sächsische Landesbibliothek}, timestamp = {2016-02-02T14:12:48.000+0100}, title = {Towards Verification of Artificial Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2015.html#ScheiblerWWB15}, year = 2015 }