%0 Conference Paper %1 conf/cpsweek/ChenAI17 %A Chen, Xin %A Althoff, Matthias %A Immler, Fabian %B ARCH@CPSWeek %D 2017 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 160-169 %T ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#ChenAI17 %V 48

@inproceedings{conf/cpsweek/ChenAI17, added-at = {2021-08-15T00:00:00.000+0200}, author = {Chen, Xin and Althoff, Matthias and Immler, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/2091d5f38e8e9772d3ea0a3a71131c253/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2017arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/v6g4}, interhash = {ddc7998a5dc4669326aa24b114801af6}, intrahash = {091d5f38e8e9772d3ea0a3a71131c253}, keywords = {dblp}, pages = {160-169}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#ChenAI17}, volume = 48, year = 2017 }