马杜苏丹，P。;根纳罗Parlato 辅助存储器的树宽度。 （英语） Zbl 1284.68358号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。283-294 (2011). 引用于31文件 MSC公司： 65年第68季度 形式语言和自动机 05二氧化碳 树木 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：自动机;有界树宽度;决策程序;模型检查 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}和\textit{G.Parlato}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。283-294（2011；Zbl 1284.68358） 全文： 内政部 链接