苏曼·罗伊0001 使用DFA的有限并集对无限系统进行符号验证。 56-66 2004 2004年会议 SEFM公司 https://doi.ieecomputersociety.org/10.1109/SEFM.2004.40 db/conf/sefm/sefm2004.html#Roy04