斯特凡·德姆里;瓦伦丁·戈兰科;马丁·兰格 计算机科学中的时间逻辑。有限状态系统。 (英文) Zbl 1380.68003号 剑桥理论计算机科学丛书58.剑桥:剑桥大学出版社(ISBN 978-1-107-02836-4/hbk;978-1-139-23611-9/电子书)。viii,第744页。(2016). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68-02 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《计算机科学中的时间逻辑》。有限状态系统。剑桥:剑桥大学出版社(2016;Zbl 1380.68003) 全文: 内政部
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内赫;波勒,曼尼斯;乔布·兹维尔 并发验证。合成和非置换方法简介。重印2001年精装版。 (英文) Zbl 1214.68125号 剑桥理论计算机科学丛书54.剑桥:剑桥大学出版社(ISBN 978-0-521-16932-5/pbk)。xxii,776页。(2011).MSC公司:68甲19 68-01 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人,并发验证。合成和非置换方法简介。2001年精装版再版,剑桥:剑桥大学出版社(2011;Zbl 1214.68125)
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内赫;波埃尔、曼内斯;Zwiers,工作 并发验证。合成和非置换方法简介。 (英文) Zbl 1009.68020号 剑桥理论计算机科学丛书. 54. 剑桥:剑桥大学出版社。xxii,776页(2001年)。 审核人:Mihai Cipu(布库雷什蒂) MSC公司:68甲19 68-01 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人,并发验证。合成和非置换方法简介。剑桥:剑桥大学出版社(2001;Zbl 1009.68020)
艾伦·拉姆齐 人工智能中的形式化方法。 (英文) Zbl 0691.68089号 剑桥理论计算机科学丛书, 6. 剑桥(英国)等:剑桥大学出版社。九、 279页£30.00;$49.50 (1988). 审核人:谢夫兰内克 MSC公司:68T99型 68吨15 03-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramsay},人工智能中的形式化方法。剑桥(英国)等:剑桥大学出版社(1988;Zbl 0691.68089)