@InCollection{zbMATH06348272，作者={Selim、Gehan M.K.和L{u}cio、Levi和Cordy、James R.和Dingel、Juergen和Oakes、Bentley J，标题={基于图形的模型转换属性的规范和验证}，BookTitle={图形转换。2014年7月22日至24日，作为STAF 2014的一部分在英国约克举行的ICGT 2014第七届国际会议。诉讼}，国际标准图书编号={978-3-319-09107-5}，页码={113--129}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-319-09108-2_8}，关键词={68Q60,68Q42,68T15}，zbMATH={6348272}，Zbl=｛1423.68291｝}