卢卡·埃特罗;Anna Ingólfsdóttir;Larsen,Kim G。;吉·斯尔巴 反应系统。建模、规范和验证。 (英语) Zbl 1141.68043号 剑桥:剑桥大学出版社(ISBN 978-0-521-87546-2/hbk)。十六、284页。(2007). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度85 68-01 第68季度第60季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,反应系统。建模、规范和验证。剑桥:剑桥大学出版社(2007;Zbl 1141.68043) 全文: 内政部
卢卡·埃特罗;帕特里夏·鲍耶;奥古斯托·布尔古埃诺;Larsen,Kim G。 时间自动机可达性测试的威力。 (英语) Zbl 1023.68060号 西奥。计算。科学。 300,编号1-3,411-475(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。300,编号1--3,411--475(2003;Zbl 1023.68060) 全文: 内政部