提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP：期刊/tcs/Ballester-BolinchesCE14澳大利亚-芭蕾舞表演，阿道夫AU-Cosme-Llópez，Enric公司AU-埃斯特班·罗梅罗，拉蒙TI-基于最终非确定性自动机语言的描述。JO-提奥。计算。科学。VL-536SP-1EP-202014年上半年//DO-10.1016/J.TCS.2014.01.018UR-（欧元）https://doi.org/10.1016/j.tcs.2014.01.018急诊室-