提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP：期刊/iandc/ZhengQG15AU-Zheng、Shenggen奥丘、道文AU-格鲁斯卡，乔泽夫TI-具有由半量子双向有限自动机建模的验证器的交互式证明系统的幂。JO-信息计算。VL-241SP-197EP-2142015年上半年//DO-10.1016/J.IC.2015.02.003UR-（欧元）https://doi.org/10.1016/j.ic.2015.02.003急诊室-