Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/arch/AlthoffBBFFFKLM20
%A Althoff, Matthias
%A Bak, Stanley
%A Bao, Zongnan
%A Forets, Marcelo
%A Frehse, Goran
%A Freire, Daniel
%A Kochdumper, Niklas
%A Li, Yangge
%A Mitra, Sayan
%A Ray, Rajarshi
%A Schilling, Christian
%A Schupp, Stefan
%A Wetzlinger, Mark
%B ARCH
%D 2020
%I EasyChair
%K dblp
%P 16-48
%T ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
%U http://dblp.uni-trier.de/db/conf/arch/arch2020.html#AlthoffBBFFFKLM20
%V 74
@inproceedings{conf/arch/AlthoffBBFFFKLM20,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Althoff, Matthias and Bak, Stanley and Bao, Zongnan and Forets, Marcelo and Frehse, Goran and Freire, Daniel and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan and Wetzlinger, Mark},
biburl = {https://www.bibsonomy.org/bibtex/233ccd8c8dbe2b8bc98f239139a584e79/dblp},
booktitle = {ARCH},
crossref = {conf/arch/2020},
ee = {https://doi.org/10.29007/7dt2},
interhash = {a8b09482a92b9ef45d98b69ee71987b2},
intrahash = {33ccd8c8dbe2b8bc98f239139a584e79},
keywords = {dblp},
pages = {16-48},
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 Linear Continuous Dynamics.},
url = {http://dblp.uni-trier.de/db/conf/arch/arch2020.html#AlthoffBBFFFKLM20},
volume = 74,
year = 2020
}