莫里斯·拉维奥;Tim A.C.Willemse。 在具有多个动作的进程代数中分解单片进程。 (英语) Zbl 07665442号 J.日志。代数。方法计划。 132,文章ID 100858,24 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Laveaux}和\textit{T.A.C.Willemse},J.Log。代数。方法计划。132,文章ID 100858,24 p.(2023;Zbl 07665442) 全文: 内政部 arXiv公司
Jan Friso,格鲁特;Tim A.C.Willemse。 用于建立服务级别协议的对称协议。 (英语) Zbl 07269247号 日志。方法计算。科学。 16,第3号,第19号论文,第19页(2020年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Log。方法计算。科学。16,第3号,第19号论文,第19页(2020;Zbl 07269247) 全文: arXiv公司 链接
莉塞特·桑切斯;威格·威瑟林克;Tim A.C.Willemse。 基于BDD的平价游戏求解器的比较。 (英语) Zbl 1528.68235号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277103-117(2018)。MSC公司:60年第68季度 68T20型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Sanchez}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277103--117(2018;Zbl 1528.68235) 全文: arXiv公司 链接
斯乔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 定点逻辑中的抽象。 (英语) Zbl 1367.68187号 ACM事务处理。计算。日志。 第16号第4条第29条第39页(2015年).MSC公司:60年第68季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,ACM Trans。计算。日志。16,第4号,第29条,第39页(2015年;兹bl 1367.68187) 全文: 内政部
普洛格,B。;韦塞林克,J.W。;威廉姆斯,T.A.C。 通过实例化参数化布尔方程系统验证反应系统。 (英语) Zbl 1215.68133号 Inf.计算。 209,第4期,637-663(2011).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Ploeger}等人,《信息计算》。209,第4号,637--663(2011;Zbl 1215.68133) 全文: 内政部
西蒙娜·奥尔赞;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。注释计算。科学。55052230-245(2009年;兹比尔12346.8263) 全文: 内政部
van Dam,A。;普洛格,B。;威廉姆斯,T.A.C。 参数化布尔方程系统的实例化。 (英语) Zbl 1161.68596号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学课堂讲稿5160440-454(2008)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.van Dam}等人,Lect。注释计算。科学。5160440-454(2008年;Zbl 1161.68596) 全文: 内政部
西蒙娜·奥尔赞;Tim A.C.Willemse。 参数化布尔方程系统的不变量。(扩展摘要)。 (英语) Zbl 1160.68446号 van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(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) 全文: 内政部
Jan Friso,格鲁特;Tim A.C.Willemse。 参数化布尔方程系统。 (英语) 兹比尔1077.68061 西奥。计算。科学。 343,第3期,332-369(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Theor。计算。科学。343,第3号,332--369(2005;Zbl 1077.68061) 全文: 内政部 链接