Marco Bozzano等人：COMPASS 3.0。(2019) conf/tacas/BozzanoBCKNT19 10.1007/978-3-030-17462-0_25 罗盘3.0。 6 马可·波扎诺 1 哈罗德·布鲁因杰斯 2 亚历山德罗·西马蒂 三 Joost-Pieter Katoen公司 4 托马斯·诺尔0001 5 斯特凡诺·托内塔 6 379-385 TACAS（1） 墨西哥玉米饼（1） 2019 2019 dblp记录“conf/tacas/BozzanoBCKNT19”的RDF数据的来源信息 2022-10-02T16:16:19+0200