@第{zbMATH05638507条，作者={Platzer，Andr{\'e}}，标题={混合系统的微分动态逻辑}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={41}，数字={2}，页码={143--189}，年份={2008}，语言={英语}，DOI={10.1007/s10817-008-9103-8}，关键词={03B70,03B35,68Q60}，zbMATH={5638507}，Zbl={1181.03035}}