萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 分支时间规范的状态/事件软件验证。 （英语） 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 1103.68609号 正式Asp。计算。 17，第4期，461-483（2005）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《正式Asp》。计算。17，编号4461-483（2005年；Zbl 1103.68609） 全文： 内政部