玛格斯·维纳斯;Pieter Hooimeijer;本杰明·利夫希茨;大卫·莫尔纳;尼古拉·比约纳 符号有限状态传感器：算法和应用。 （英语） 兹比尔1321.68341 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。137-150 (2012). 引用于19文件 MSC公司： 65年第68季度 形式语言和自动机 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：表面贴装技术;自动机;作文;等效 PDF格式BibTeX公司 XML格式引用 \textit{M.Veanes}et al.，in：第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。137-150（2012年；兹bl 1321.68341） 全文： DOI程序