BibTeX记录日志/corr/Statman15
@inprocesdings{DBLP:日志/corr/Statman15， author={Rick Statman}， editor={Jakob Rehof}， title={交叉点类型的有限模型属性}， booktitle={十字路口类型和相关系统第七次研讨会论文集， {ITRS}2014年，奥地利维也纳，2014年7月18日}， 系列={{EPTCS}}， 体积={177}， 页数={1--9}， 年份={2014}， url={ https://doi.org/10.4204/EPTCS.177.1 }, doi={10.4204/EPTCS.177.1}， 时间戳={2018年9月12日星期三01:05:15+0200}， biburl={ https://dblp.org/rec/journals/corr/Statman15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
