%0 Conference Paper %1 conf/tacas/SotoudehT21 %A Sotoudeh, Matthew %A Thakur, Aditya V. %B TACAS (2) %D 2021 %E Groote, Jan Friso %E Larsen, Kim Guldstrand %I Springer %K dblp %P 281-302 %T SyReNN: A Tool for Analyzing Deep Neural Networks. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#SotoudehT21 %V 12652 %@ 978-3-030-72013-1

@inproceedings{conf/tacas/SotoudehT21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Sotoudeh, Matthew and Thakur, Aditya V.}, biburl = {https://www.bibsonomy.org/bibtex/276c384931ddfac27e226d06b9364fcfc/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2021-2}, editor = {Groote, Jan Friso and Larsen, Kim Guldstrand}, ee = {https://doi.org/10.1007/978-3-030-72013-1_15}, interhash = {b77f6fda0d50c553176c6aef49f065c1}, intrahash = {76c384931ddfac27e226d06b9364fcfc}, isbn = {978-3-030-72013-1}, keywords = {dblp}, pages = {281-302}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:28.000+0200}, title = {SyReNN: A Tool for Analyzing Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#SotoudehT21}, volume = 12652, year = 2021 }