%0 Conference Paper %1 conf/arch/GerettiSABCCCFF20 %A Geretti, Luca %A Sandretto, Julien Alexandre Dit %A Althoff, Matthias %A Benet, Luis %A Chapoutot, Alexandre %A Chen, Xin %A Collins, Pieter %A Forets, Marcelo %A Freire, Daniel %A Immler, Fabian %A Kochdumper, Niklas %A Sanders, David P. %A Schilling, Christian %B ARCH %D 2020 %I EasyChair %K dblp %P 49-75 %T ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. %U http://dblp.uni-trier.de/db/conf/arch/arch2020.html#GerettiSABCCCFF20 %V 74

@inproceedings{conf/arch/GerettiSABCCCFF20, added-at = {2023-11-12T00:00:00.000+0100}, author = {Geretti, Luca and Sandretto, Julien Alexandre Dit and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Collins, Pieter and Forets, Marcelo and Freire, Daniel and Immler, Fabian and Kochdumper, Niklas and Sanders, David P. and Schilling, Christian}, biburl = {https://www.bibsonomy.org/bibtex/224a3241ae390fb511d9861b8d9254162/dblp}, booktitle = {ARCH}, crossref = {conf/arch/2020}, ee = {https://doi.org/10.29007/zkf6}, interhash = {c85ba193fe3d6cad1597f130afcd6d59}, intrahash = {24a3241ae390fb511d9861b8d9254162}, keywords = {dblp}, pages = {49-75}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T11:51:51.000+0200}, title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2020.html#GerettiSABCCCFF20}, volume = 74, year = 2020 }