%0 Conference Paper %1 conf/adhs/MusauJ18 %A Musau, Patrick %A Johnson, Taylor T. %B ARCH@ADHS %D 2018 %E Frehse, Goran %E Althoff, Matthias %E Bogomolov, Sergiy %E Johnson, Taylor T. %I EasyChair %K dblp %P 196-207 %T Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal). %U http://dblp.uni-trier.de/db/conf/adhs/arch2018.html#MusauJ18 %V 54

@inproceedings{conf/adhs/MusauJ18, added-at = {2018-10-27T00:00:00.000+0200}, author = {Musau, Patrick and Johnson, Taylor T.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21a4a1434c1ff8f7dc322789b90c43a78/dblp}, booktitle = {ARCH@ADHS}, crossref = {conf/adhs/2018arch}, editor = {Frehse, Goran and Althoff, Matthias and Bogomolov, Sergiy and Johnson, Taylor T.}, ee = {http://www.easychair.org/publications/paper/K6SZ}, interhash = {aeef2e3213b3ff2cae3e9effde249377}, intrahash = {1a4a1434c1ff8f7dc322789b90c43a78}, keywords = {dblp}, pages = {196-207}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2019-09-27T15:03:55.000+0200}, title = {Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).}, url = {http://dblp.uni-trier.de/db/conf/adhs/arch2018.html#MusauJ18}, volume = 54, year = 2018 }