%0 Conference Paper %1 conf/cpsweek/TranNJ15 %A Tran, Hoang-Dung %A Nguyen, Luan Viet %A Johnson, Taylor T. %B ARCH@CPSWeek %D 2015 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 89-97 %T Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#TranNJ15 %V 34

@inproceedings{conf/cpsweek/TranNJ15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Tran, Hoang-Dung and Nguyen, Luan Viet and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/28b82559f503061b434ea1c82f152719b/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2014-15arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/6dcf}, interhash = {59086e86eea609c5a753d81f632e195f}, intrahash = {8b82559f503061b434ea1c82f152719b}, keywords = {dblp}, pages = {89-97}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#TranNJ15}, volume = 34, year = 2015 }