×

找到18个文档（结果1-18）

最新 引文 关联
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德

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）
全文： 内政部 链接
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维

CADP 2010：用于构建和分析分布式过程的工具箱。 （英语） Zbl 1316.68074号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605372-387（2011）。
MSC公司：60年第68季度 68-04 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}等人，Lect。注释计算。科学。6605372-387（2011年；兹比尔1316.68074）
全文： 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德

遗传调控网络的计算树规则逻辑。 （英语） 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）
全文： 内政部 链接
谢尔盖·哈达德;帕斯卡·波扎特

成分成分的交易减少。 （英语） Zbl 1215.68067号

Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。第27届国际单项体育联合会工作组6.1国际会议，爱沙尼亚塔林，2007年6月27日至29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574，341-357（2007）。
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Haddad}和\textit{P.Poizat}，莱克特。注释计算。科学。4574、341--357（2007年；Zbl 1215.68067）
全文： 内政部
佩斯，戈登;克里斯蒂安·普里萨卡里奥;Gerardo Schneider公司

模型检查合同——案例研究。 （英语） Zbl 1141.68483号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762，82-97（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Pace}等人，Lect。注释计算。科学。4762、82-97（2007年；Zbl 1141.68483）
全文： 内政部 链接
克里斯蒂安·普里萨卡里奥;Gerardo Schneider公司

电子合同的正式语言。 （英语） Zbl 1202.68266号

Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468174-189（2007）。
MSC公司：68问题85 68英里11
PDF格式BibTeX公司 XML格式引用
\textit｛C.Priscariu｝和\textit｛G.Schneider｝，Lect。注释计算。科学。4468、174--189（2007年；Zbl 1202.68266）
全文： 内政部
博特尼克，E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克（J.M.Van De Mortel-Fronczak）。;Baeten，J.C.M。;W.J.福克金。;罗达，J.E。

使用Spin、CADP和Uppaal分析转台系统的（chi）模型。 （英语） Zbl 1088.68523号

J.日志。阿尔盖布。程序。 65，第2期，51-104（2005）.
MSC公司：68平方米 68米15 90B30型
PDF格式BibTeX公司 XML格式引用
\textit{E.Bortnik}等人，J.Log。阿尔盖布。程序。65，No.2，51--104（2005；Zbl 1088.68523）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件