×

找到22份文件（结果1-22）

最新的 引文 关联
休伯特·加拉维；弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： DOI程序 哈尔
安德里亚蒂安娜，埃里克·O·D。；瓦利索·拉扎纳贾托沃（Valisoa Razanajatovo），米萨南塔内纳；斯蒂芬·瓦格纳

具有固定度序列的极值树。 （英语） Zbl 1461.05030号

电子。J.库姆。 28，第1号，研究论文P1.1，34页（2021）.
审核人：Tanja Dravec（马里博尔）
MSC公司：05二氧化碳 05C09号 05C12号 05C07号机组 05C35号
PDF格式BibTeX公司 XML格式引用
\textit{E.O.D.Andriantiana}等人，《电子》。J.库姆。28，第1号，研究论文P1.1，34页（2021；Zbl 1461.05030）
全文： DOI程序 arXiv公司
休伯特·加拉维；弗雷德里克·朗；拉杜·马特埃斯库；温德林·塞维

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年；Zbl 1316.68074）
全文： DOI程序
塞尔达尔·阿斯兰；亚德南·亚兹奇

使用有序加权聚集的高效图像检索系统。 （英语） Zbl 1145.68402号

Bello，Rafael（编辑）等人，《粒度计算：在粗糙集和模糊集的交界处》。一些论文基于2006年12月5日至8日在古巴圣克拉拉举行的第一届模糊与粗糙集国际研讨会（ISFUROS 2006）上的发言。柏林：施普林格出版社（ISBN 978-3-540-76972-9/hbk）。《模糊性和软计算研究》22443-54（2008）。
MSC公司：68第20页 68单位10 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Arslan}和\textit{A.Yazici}，Stud.模糊软计算。224、43-54（2008年；Zbl 1145.68402）
格温·萨拉恩；杰夫·克莱默；弗雷德里克·朗；杰夫·马吉

将FSP转换为LOTOS和自动机网络。 （英语） Zbl 1213.68410号

Davies，Jim（编辑）等，《综合形式方法》。2007年7月2日至5日，第六届国际会议，IFM 2007，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73209-9/pbk）。计算机科学课堂讲稿4591558-578（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Salaün}等人，Lect。注释计算。科学。4591、558--578（2007年；Zbl 1213.68410）
全文： DOI程序 哈尔
克里斯托夫·朱伯特；拉杜·马特埃斯库

分布式实时模型检查和测试用例生成。 （英语） 兹比尔1178.68345

Valmari，Antti（编辑），模型检查软件。第十三届国际SPIN研讨会，奥地利维也纳，2006年3月30日至4月1日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33102-6/pbk）。计算机科学课堂讲稿3925126-145（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Joubert}和\textit{R.Mateescu}，莱克特。注释计算。科学。3925、126--145（2006年；Zbl 1178.68345）
全文： DOI程序
格温·萨拉恩；温德林·塞维

将硬件进程代数转换为标准进程代数：用CHP和LOTOS进行说明。 （英语） 兹比尔1137.68454

Romijn，Judi（编辑）等人，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771287-306（2005）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Salaün}和\textit{W.Serwe}，莱克特。注释计算。科学。3771287-306（2005年；兹bl 1137.68454）
全文： DOI程序 链接
达米安·贝加米尼；尼古拉斯·德苏贝斯；克里斯托夫·朱伯特；拉杜·马特埃斯库

BISIMULATOR：用于实时等价性检查的模块化工具。 （英语） Zbl 1087.68583号

Halbwachs，Nicolas（ed.）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440581-585（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bergamini}等人，Lect。注释计算。科学。3440581--585（2005年；Zbl 1087.68583）
全文： DOI程序
保罗·恰恰；马可·帕特拉

正在批量加载\（M\）树。澳大利亚计算机科学通讯20，第2期。 （英语） Zbl 0933.68040号

Chris McDonald（编辑），数据库系统。第九届澳大利亚数据库会议记录，ADC'98。澳大利亚珀斯，1998年2月2日至3日。新加坡：斯普林格。15-26 (1998).
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{P.Ciaccia}和\textit{M.Patella}，in：数据库系统。第九届澳大利亚数据库会议记录，ADC'98。澳大利亚珀斯，1998年2月2日至3日。新加坡：斯普林格。15-26（1998年；Zbl 0933.68040）
理查德·布鲁内特；Mark N.埃林厄姆。；高志成；爱丽丝·梅兹拉；里希特·R·布鲁斯

环面和Klein瓶中图的生成平面子图。 （英语） Zbl 0837.05049号

J.库姆。理论，Ser。B类 65，第1期，7-22（1995）.
审核人：M.马克思（彭萨科拉）
MSC公司：05年10月 05二氧化碳 05C40号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{R.Brunet}等人，J.Comb。理论，Ser。B 65，编号1，7--22（1995；Zbl 0837.05049）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件