@inproceedings{12947196c7a64dfdb04d45ffa3911af1,
title = "A Benchmark for Component-based Hybrid Systems Safety Verification",
author = "Andreas M{\"u}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'e} Platzer",
year = "2017",
month = jun,
day = "27",
doi = "10.29007/9jm3",
language = "Englisch (Amerika)",
volume = "48",
series = "EPiC Series in Computing",
pages = "65 -- 74",
booktitle = "ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems",
}