%0 Conference Paper %1 conf/cpsweek/Immler15 %A Immler, Fabian %B ARCH@CPSWeek %D 2015 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 180-187 %T Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#Immler15 %V 34

@inproceedings{conf/cpsweek/Immler15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Immler, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/206b7aa194040b69c05df57acb32b57eb/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2014-15arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/b3wr}, interhash = {cb1bf555181de1ffc3a97711146cc9cb}, intrahash = {06b7aa194040b69c05df57acb32b57eb}, keywords = {dblp}, pages = {180-187}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#Immler15}, volume = 34, year = 2015 }