卡尔蒂基扬·巴尔干；萨蒂什·钱德拉；彼得·麦肯。；卡尔·A·冈特。 可能出现的数据包：用于网络监控的自动机。 （英语） Zbl 1323.68199号 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-336-7）。206-219 (2001). 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68个M12 网络协议 68甲15 编程语言理论 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 68瓦32 字符串上的算法 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。206-219（2001；Zbl 1323.68199） 全文： 内政部