提供者:Schloss Dagstuhl-莱布尼茨信息学中心数据库:dblp计算机科学参考书目内容:文本/纯文本;charset=“utf-8”TY-CPAPER公司ID-DBLP:日志/corr/Statman15澳大利亚统计局,RickTI-交叉点类型的有限模型属性。英国电信-《交叉口类型和相关系统第七次研讨会论文集》,ITRS 2014,奥地利维也纳,2014年7月18日。SP-1EP-92014年上半年//DO-10.4204/EPTCS.177.1UR-(欧元)https://doi.org/10.4204/EPTCS.177.1UR-(欧元)http://arxiv.org/abs/1503.04906急诊室-