西蒙娜·奥尔赞;Tim A.C.Willemse。 参数化布尔方程系统的不变量。 （英语） Zbl 1191.68415号 西奥。计算。科学。 411，编号11-13，1338-1371（2010）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Orzan｝和\textit｛T.A.C.Willemse｝，Theor。计算。科学。411，编号11--13，1338--1371（2010；Zbl 1191.68415） 全文： 内政部 链接
西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。 参数化布尔方程系统的静态分析技术。 （英语） Zbl 1234.68263号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505230-245（2009）。MSC公司：60年第68季度 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}等人，Lect。注释计算。科学。5505230--245（2009年；Zbl 1234.68263） 全文： 内政部
西蒙娜·奥尔赞;Tim A.C.Willemse。 参数化布尔方程系统的不变量。（扩展摘要）。 （英语） Zbl 1160.68446号 van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。2008年8月19日至22日，加拿大多伦多，第19届国际会议，CONCUR 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学讲义5201，187-202（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}和\textit{T.A.C.Willemse}，莱克特。注释计算。科学。5201、187--202（2008；Zbl 1160.68446） 全文： 内政部