%0 Conference Paper %1 conf/cpsweek/ImmlerABC0FGKSS19 %A Immler, Fabian %A Althoff, Matthias %A Benet, Luis %A Chapoutot, Alexandre %A Chen, Xin %A Forets, Marcelo %A Geretti, Luca %A Kochdumper, Niklas %A Sanders, David P. %A Schilling, Christian %B ARCH@CPSIoTWeek %D 2019 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 41-61 %T ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#ImmlerABC0FGKSS19 %V 61

@inproceedings{conf/cpsweek/ImmlerABC0FGKSS19, added-at = {2020-01-04T00:00:00.000+0100}, author = {Immler, Fabian and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Forets, Marcelo and Geretti, Luca and Kochdumper, Niklas and Sanders, David P. and Schilling, Christian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/297d4d606e10cdad5366a5bb944ca68a0/dblp}, booktitle = {ARCH@CPSIoTWeek}, crossref = {conf/cpsweek/2019arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {http://www.easychair.org/publications/paper/4FSh}, interhash = {ebe3fb8a68100be59dede6992ea775cd}, intrahash = {97d4d606e10cdad5366a5bb944ca68a0}, keywords = {dblp}, pages = {41-61}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2020-01-09T08:03:02.000+0100}, title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#ImmlerABC0FGKSS19}, volume = 61, year = 2019 }