拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 CTRL:CTL的扩展,带有正则表达式和公平操作符,用于验证遗传调控网络。 (英语) Zbl 1231.68163号 西奥。计算。科学。 412,第26号,2854-2883(2011). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Theor。计算。科学。412,第26号,2854--2883(2011;Zbl 1231.68163) 全文: 内政部 链接
雅各布·范德波尔;迈克尔·韦伯 奇偶游戏的多核求解器。 (英语) Zbl 1286.68326号 乔纳·伊瓦纳(编辑)等人,《第七届平行和分布式验证方法国际研讨会论文集》(PDMC 2008),匈牙利布达佩斯,2008年3月29日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第2期,19-34(2008)。MSC公司:60年第68季度 68宽10 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Weber},电子。理论注释。计算。科学。220,编号2,19-34(2008;Zbl 1286.68326) 全文: 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 遗传调控网络的计算树规则逻辑。 (英语) Zbl 1183.68380号 Cha,Sungdeok(Steve)(编辑)等人,《验证和分析自动化技术》。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,48-63(2008)。MSC公司:60年第68季度 03B44号 03B45 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Lect。注释计算。科学。5311、48-63(2008年;Zbl 1183.68380) 全文: 内政部 链接