提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/生日/ZhaoZK13AU-Zhao、HengjunAU-Zhan、NaijunAU-卡普尔，迪帕克TI-通过生成不变量综合混合系统的开关控制器。BT——程序设计理论与形式方法——纪念何继峰70岁生日的文章SP-354型第373页2013年上半年//DO-2007年10月10日/978-3-642-39698-4_22UR-（欧元）https://doi.org/10.1007/978-3-642-39698-4_22急诊室-