%0 Conference Paper %1 conf/cpsweek/AlthoffBFFK0SS19 %A Althoff, Matthias %A Bak, Stanley %A Forets, Marcelo %A Frehse, Goran %A Kochdumper, Niklas %A Ray, Rajarshi %A Schilling, Christian %A Schupp, Stefan %B ARCH@CPSIoTWeek %D 2019 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 14-40 %T ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#AlthoffBFFK0SS19 %V 61

@inproceedings{conf/cpsweek/AlthoffBFFK0SS19, added-at = {2020-01-04T00:00:00.000+0100}, author = {Althoff, Matthias and Bak, Stanley and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24ec3e3a0232f1caf6593a1148ecfec31/dblp}, booktitle = {ARCH@CPSIoTWeek}, crossref = {conf/cpsweek/2019arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {http://www.easychair.org/publications/paper/1gbP}, interhash = {629374980d4d6c13a6289331710bba00}, intrahash = {4ec3e3a0232f1caf6593a1148ecfec31}, keywords = {dblp}, pages = {14-40}, 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 Linear Continuous Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#AlthoffBFFK0SS19}, volume = 61, year = 2019 }