提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/BerardHPDS15澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-皮卡罗尼，克劳丁AU-Din，Mohab Safey El公司澳大利亚-萨索拉斯，马修TI-多项式中断时间自动机。JO-CoRR公司VL-abs/1504.045412015年上半年//UR-（欧元）http://arxiv.org/abs/1504.04541急诊室-