杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 上下文软件计数器抽象。 （英语） Zbl 1213.68362号 形式方法系统。设计。 36，第3期，223-245（2010年）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人，《形式方法系统》。设计。36，第3号，223--245（2010；Zbl 1213.68362） 全文： 内政部 链接
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁 并发软件的符号计数器抽象。 （英语） Zbl 1242.68055号 Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。《计算机科学讲义》5643，64-78（2009）。MSC公司：第68页第19页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Basler}等人，Lect。票据计算。科学。5643、64--78（2009年；Zbl 1242.68055） 全文： 内政部