Bernd Finkbeiner等人：从超特性合成反应体系。(2018) conf/cav/FinkbeinerHLST18 10.1007/978-3-319-96145-3_16 从超性质合成反应体系。 5 伯恩德·芬克贝纳 1 克里斯托弗·哈恩 2 菲利普·卢克特 三 马文·斯坦格 4 Leander Tentrup公司 5 289-306年 CAV（1） CAV（1） 2018 2018 dblp记录“conf/cav/FinkbeinerHLST18”的RDF数据的来源信息 2018-10-03T12:55:00+0200