查基，S。;E.克拉克。;北卡罗来纳州基德。;代表，T。;T·图利。 使用递归调用验证并发消息传递C程序。 （英语） Zbl 1180.68109号 Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，334-349（2006）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，Lect。注释计算。科学。3920、334--349（2006年；Zbl 1180.68109） 全文： 内政部
萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 分支时间规范的状态/事件软件验证。 （英语） Zbl 1137.68432号 Romijn，Judi（编辑）等，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，53-69（2005）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，Lect。注释计算。科学。3771、53--69（2005年；Zbl 1137.68432） 全文： 内政部
埃德蒙·克拉克;穆拉利达尔塔卢普尔;泰瑟·图利;赫尔穆特·维思 通过网络分解进行验证。 （英语） Zbl 1099.68653号 Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170276-291（2004）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。注释计算。科学。3170276--291（2004年；Zbl 1099.68653） 全文： 内政部