提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/sefm/Roy04AU-罗伊，苏曼TI-使用DFA的有限并集对无限系统进行符号验证。BT-第二届软件工程与形式化方法国际会议（SEFM 2004），2004年9月28日至30日，中国北京SP-56EP-662004年上半年//DO-10.1109/SEFM.2004.40UR-（欧元）https://doi.ieecomputersociety.org/10.1109/SEFM.2004.40急诊室-