E.克拉克。（编辑）;米娜，M。（编辑）;蒂佩斯，F.L。（编辑） 验证具有安全应用程序的无限状态系统。2005年3月17日至22日，罗马尼亚蒂马什奥拉，《北约安全应用无限状态系统验证高级研究研讨会论文集》。 （英语） Zbl 1126.68054号 北约科学安全系列。D： 信息和通信安全1。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-570-9/hbk）。vii，235页。(2006).MSC公司：68问题85 第68季度第60季度 68-06 PDF格式BibTeX公司 XML格式引用 \textit｛E.Clarke｝（编辑）等人，《无限状态系统与安全应用的验证》。2005年3月17日至22日，罗马尼亚蒂马什奥拉，《北约安全应用无限状态系统验证高级研究研讨会论文集》。阿姆斯特丹：IOS出版社（2006；Zbl 1126.68054）
E.M.克拉克。;O·格伦伯格。;米娜，M。;D.贝利德。 使用偏序技术的状态空间约简。 （英语） 兹比尔1065.68506 国际期刊软件。技术工具。Transf公司。2，第3期，279-287（1999年）。MSC公司：68M99型 68问题85 PDF格式BibTeX公司 XML格式 全文： 内政部
塞尔吉奥·坎波斯;马西奥·泰西拉;马吕斯·米娜;安德烈亚斯·库尔曼;埃德蒙·克拉克 使用BDDS对半连续时间模型进行模型检验。 （英语） Zbl 0920.68076号 Cimatti，Alessandro（编辑）等人，《符号模型检查第一届国际研讨会（SMC’99）会议记录》，作为第二届联邦逻辑会议（FLoC’99年）的一部分。意大利特伦托，1999年7月6日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。23（2），第8号电子文件，（1999年）。MSC公司：第68季度第60季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{S.Campos}等人，in：符号模型检查第一届国际研讨会（SMC’99）会议记录，作为第二届联邦逻辑会议（FLoC’1999）的一部分。意大利特伦托，1999年7月6日。阿姆斯特丹：爱思唯尔。电子文件编号8，（1999；Zbl 0920.68076） 全文： 链接