@InCollection｛zbMATH06863113，作者={Katoen，Joost-Pieter and Song，Lei and Zhang，Lijun}，标题={可能安全或活着}，BookTitle={2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录}，国际标准图书编号={978-1-4503-2886-9}，页码={10}，注={Id/No 55}，年份={2014}，出版商={Los Alamitos，CA:IEEE Computer Society}，语言={英语}，DOI={10.1145/2603088.2603147}，关键词={68Q60,03B44,68Q85,68Q87}，URL={research.utwente.nl/en/publications/probably-safe-or-live（ab1fe6e9-4a8f-4ec9-9187-050fa073a9d7）.html}，zbMATH＝{6863113}，Zbl={1394.68231}}