赵,杨;吉安弗兰科·西亚多 使用约束饱和对异步系统进行符号CTL模型检查。 (英语) Zbl 1262.68132号 刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799368-381(2009)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}和\textit{G.Ciardo},Lect。票据计算。科学。5799、368--381(2009年;Zbl 1262.68132) 全文: 内政部
万,敏;吉安弗兰科·西亚多 使用可扩展决策图生成异步系统的符号状态空间。 (英语) Zbl 1206.68104号 尼尔森,莫根斯(编辑)等人,《SOFSEM 2009:计算机科学的理论与实践》。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404,582-594(2009)。MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Wan}和\textit{G.Ciardo},Lect。票据计算。科学。5404、582--594(2009年;Zbl 1206.68104) 全文: 内政部
吉安弗兰科·西亚多;杰拉尔德·吕特根;安德鲁·米纳(Andrew S.Miner)。 在符号状态空间生成中利用交错语义。 (英语) Zbl 1118.68533号 形式方法系统。设计。 31,第1号,63-100(2007).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciardo}等人,《形式方法系统》。设计。31,编号1,63--100(2007;Zbl 1118.68533) 全文: 内政部