提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tacas/BozzanoBCKNT19澳大利亚-波扎诺，马尔科AU-布鲁因茨，哈罗德AU-亚历山德罗·西马蒂AU-Katoen，Joost-Pieter澳大利亚-诺尔，托马斯澳大利亚-托内塔，斯特凡诺TI-COMPASS 3.0。BT-用于系统构建和分析的工具和算法-第25届国际会议，TACAS 2019，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日，会议记录，第一部分SP-379EP-3852019年上半年//DO-2007年10月10日/978-3-030-17462-0_25UR-（欧元）https://doi.org/10.1007/978-3-030-17462-0_25急诊室-