提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/rv/FinkbeinerHST17澳大利亚-芬克贝纳，伯尔尼克里斯托弗·哈恩AU-马文·斯坦格AU-Tentrup，Leander公司TI-监控超属性。BT-运行时验证-第17届国际会议，RV 2017，西雅图，华盛顿州，美国，2017年9月13-16日，会议记录SP-190EP-2072017年上半年//DO-2007年10月10日/978-3-319-67531-2_12UR-（欧元）https://doi.org/10.1007/978-3-319-67531-2_12急诊室-