TY - CONF T1 - Verifying Hybrid Systems with Modal Kleene Algebra PY - 2018/01/01 AU - Huerta y Munive JJ AU - Struth G ED - DO - DOI: 10.1007/978-3-030-02149-8_14 PB - Springer International Publishing SN - 9783030021481 SP - 225 EP - 243 Y2 - 2025/06/24 ER -