%0 Conference Paper %1 conf/cpsweek/MitschSTJZWZ19 %A Mitsch, Stefan %A Sogokon, Andrew %A Tan, Yong Kiam %A Jin, Xiangyu %A Zhan, Bohua %A Wang, Shuling %A Zhan, Naijun %B ARCH@CPSIoTWeek %D 2019 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 141-161 %T ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#MitschSTJZWZ19 %V 61

@inproceedings{conf/cpsweek/MitschSTJZWZ19, added-at = {2021-08-15T00:00:00.000+0200}, author = {Mitsch, Stefan and Sogokon, Andrew and Tan, Yong Kiam and Jin, Xiangyu and Zhan, Bohua and Wang, Shuling and Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/2272a8a2c78338755e7d1db7e2e5df195/dblp}, booktitle = {ARCH@CPSIoTWeek}, crossref = {conf/cpsweek/2019arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/nrv8}, interhash = {e6e7dbfed6d688960031728373ddbd9f}, intrahash = {272a8a2c78338755e7d1db7e2e5df195}, keywords = {dblp}, pages = {141-161}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#MitschSTJZWZ19}, volume = 61, year = 2019 }