×

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

最新的 引文 关联
文森佐·西安西亚;Jan Friso，格鲁特;迭戈·拉特拉;梅克·马西克;埃里克·P·德文克。

使用分支双相似性最小化空间模型。 （英语） Zbl 1529.68155号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。14000，263--281（2023；Zbl 1529.68155）
全文： 内政部
穆罕默德·阿提夫;Jan Friso，格鲁特

了解使用mCRL2的分布式系统的行为。 （英语） Zbl 1516.68001号

系统、决策和控制研究458.查姆：施普林格（ISBN 978-3-031-23007-3/hbk；978-3-331-23010-3/pbk；978-1-3031-23008-0/电子书）。第十五卷，235页。(2023).
MSC公司：68-01 64岁以下 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Atif}和\textit{J.F.Groote}，理解使用mCRL2的分布式系统的行为。查姆：斯普林格（2023；Zbl 1516.68001）
全文： 内政部
莫里斯·拉维奥;Jan Friso，格鲁特;Tim A.C.Willemse。

用于细化检查的正确有效的反链算法。 （英语） Zbl 07800285号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 185-203 (2019).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Laveaux}等人，Lect。注释计算。科学。11535185-203（2019年；Zbl 07800285）
全文： 内政部 哈尔
Jan Friso，格鲁特;埃里克·P·德文克。

使用过程代数解决问题被认为很有见地。 （英语） Zbl 1498.68186号

Katoen，Joost-Pieter（编辑）等，建模教育，测试教育，信任教育。在埃德·布林克斯马60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10500, 48-63 (2017).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{E.P.de Vink}，莱克特。注释计算。科学。10500，48-63（2017；Zbl 1498.68186）
全文： 内政部 链接
Jan Friso，格鲁特;穆罕默德·雷扎·穆萨维

通信系统的建模和分析。 （英语） Zbl 1353.68006号

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-02771-7/hbk；978-0-262/32102-0/电子书）。十六、376页。(2014).
审核人：Tiit Riismaa（塔林）
MSC公司：68-02 68M10个 68个M12 64岁以下 60年第68季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{M.R.Mousavi}，通信系统的建模和分析。马萨诸塞州剑桥：麻省理工学院出版社（2014；兹bl 1353.68006）
斯乔德·克兰恩;Jan Friso，格鲁特;Jeroen J.A.Keiren。;斯坦珀斯，弗兰克·P·M。;埃里克·P·德文克。;威格·威瑟林克;Tim A.C.Willemse。

mCRL2工具集及其最新进展概述。 （英语） Zbl 1381.68198号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795199-213（2013）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Cranen}等人，Lect。注释计算。科学。7795，199--213（2013；Zbl 1381.68198）
全文： 内政部
Jan Friso，格鲁特;蒂姆·库特斯（Tim W.D.M.Kouters）。;阿马尔·奥萨韦兰

规范指南，以避免国家空间爆炸问题。 （英语） Zbl 1353.68178号

Arbab，Farhad（编辑）等人，《软件工程基础》，第四届IPM国际会议，FSEN 2011，伊朗德黑兰，2011年4月20日至22日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29319-1/pbk）。计算机科学课堂讲稿7141112-127（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，Lect。注释计算。科学。7141、112-127（2012；Zbl 1353.68178）
全文： 内政部 链接
斯坦珀斯，弗兰克·P·M。;米歇尔·雷尼尔斯（Michel A.Reniers）。;Jan Friso，格鲁特

mCRL2对并发系统设计的适用性：交换机案例研究。 （英语） Zbl 1312.68139号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286166-185（2010）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛F.P.M.Stappers｝等人，Lect。注释计算。科学。6286、166--185（2010年；Zbl 1312.68139）
全文： 内政部
Jan Friso，格鲁特;贝斯·普洛格

切换图形。 （英语） Zbl 1337.68205号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223119-135（2008）。
MSC公司：68兰特 05年3月 65年第68季度 60年第68季度 91A40型 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{B.Ploeger}，电子。注释Theor。计算。科学。223119-135（2008年；兹bl 1337.68205）
全文： 内政部
Jan Friso，格鲁特;米歇尔·雷尼尔斯（Michel A.Reniers）。;亚罗斯拉夫·乌森科。

时间CRLála区域和区域中时间自动机的离散化。 （英语） Zbl 1316.68095号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162197-202（2006）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，《电子》。注释Theor。计算。科学。162197--202（2006；Zbl 1316.68095）
全文： 内政部
Jan Friso，格鲁特;亚德·马蒂杰森;Van Weerdenburg，穆克;亚罗斯拉夫乌森科

从\（\mu\）CRL到mCRL2：动机和大纲。 （英语） Zbl 1316.68094号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，191-196（2006）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，《电子》。注释Theor。计算。科学。162191-196（2006年；Zbl 1316.68094）
全文： 内政部
Jan Friso，格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

SOS规则格式的层次结构。 （英语） Zbl 1273.68206号

Peter Mosses等人，《结构操作语义学第二次研讨会论文集》（SOS 2005），葡萄牙里斯本，2005年7月10日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》156，第1期，3-25（2006）。
MSC公司：68问题55 68号30 68-02
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，《电子》。注释Theor。计算。科学。156，第1号，第3--25号（2006年；Zbl 1273.68206）
全文： 链接
斯特凡·布隆;Jan Friso，格鲁特;绍克·莫;亚历山大·塞雷布雷尼克

使用\（\mu\）CRL分析BKE安全协议。 （英语） Zbl 1272.68224号

Ulidowski，Irek（编辑），《2004年美国医学与科学技术学会会议录》，第六届美国医学与科学技术学会实时系统研讨会（ARTS 2004），英国斯特灵，2004年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记139，第1期，49-90（2005）。
MSC公司：60年第68季度 68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Blom}等人，《电子》。注释Theor。计算。科学。139，第1号，49-90（2005；Zbl 1272.68224）
全文： 链接
Jan Friso，格鲁特;米萨Keinänen

一种用于合取和析取布尔方程组的次二次算法。 （英语） Zbl 1169.68652号

Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。《计算机科学讲义》3722，532-545（2005）。
MSC公司：68周05 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{M.Keinänen}，莱克特。注释计算。科学。3722、532--545（2005年；Zbl 1169.68652）
全文： 内政部
Jan Friso，格鲁特;米萨Keinänen

求解具有交替不动点的析取/合取布尔方程组。 （英语） Zbl 1126.68478号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988436-450（2004）。
MSC公司：60年第68季度 68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{M.Keinänen}，莱克特。注释计算。科学。2988436--450（2004年；Zbl 1126.68478）
全文： 内政部
Wan Fokkink公司;Jan Friso，格鲁特;庞、军;巴哈雷赫巴德班;范德波尔（Jaco van de Pol）

验证\（\mu\）CRL中的滑动窗口协议。 （英语） Zbl 1108.68383号

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。《计算机科学讲义》3116148-163（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{W.Fokkink}等人，Lect。注释计算。科学。3116、148--163（2004年；Zbl 1108.68383）
全文： 内政部
Jan Friso，格鲁特;蒂姆·威廉姆斯

参数化布尔方程系统（扩展抽象）。 （英语） Zbl 1099.68670号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170308-324（2004）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{T.Willemse}，莱克特。注释计算。科学。3170308--324（2004年；Zbl 1099.68670）
全文： 内政部
Jan Friso，格鲁特;Tim A.C.Willemse。

用于处理数据的模态公式的检查器。 （英语） Zbl 1104.68413号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。计算机科学课堂讲稿3188223-239（2004）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{T.A.C.Willemse}，莱克特。注释计算。科学。3188223--239（2004；Zbl 1104.68413）
全文： 内政部
Jan Friso，格鲁特;范·哈姆（Frank van Ham）

大型状态空间可视化。 （英语） Zbl 1031.68522号

Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日，作为欧洲软件理论和实践联合会议的一部分，在波兰华沙举行的2003年第九届国际会议TACAS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 585-590 (2003).
MSC公司：68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{F.van Ham}，莱克特。注释计算。科学。2619585-590（2003年；Zbl 1031.68522）
全文： 链接
Jan Friso，格鲁特;范德波尔（Jaco van de Pol）

等式二元决策图。 （英语） Zbl 0988.68590号

Parigot，Michel（编辑）等人，《编程逻辑和自动推理》。第七届国际会议，2000年11月6日至10日，法国留尼汪岛LPAR 2000。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1955, 161-178 (2000).
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{J.van de Pol}，莱克特。注释计算。科学。1955年，161-178（2000年；Zbl 0988.68590）
塞巴斯蒂安·范·维利杰曼;Jan Friso，格鲁特;威尔科·科恩

关键处理器联锁。 （英语） Zbl 0920.68082号

Van Vlijmen，Sebastiaan（编辑），ENTCS。研究项目。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。21，第6号电子文件，（1999年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.van Vlijmen}等人，in：ENTCS。研究项目。阿姆斯特丹：爱思唯尔。电子文件第6号，（1999年；Zbl 0920.68082）
全文： 链接
Jan Friso，格鲁特;拉杜·马特埃斯库

使用数据验证设置中进程的时间属性。 （英语） Zbl 0926.03036号

Haeberer，Armando Martín（编辑），代数方法论和软件技术。第七届国际会议，1998年AMAST，巴西亚马逊河流域，1999年1月4日至8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1548, 74-90 (1999).
MSC公司：03B70号 03B44号 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{R.Mateescu}，莱克特。注释计算。科学。1548、74-90（1999年；Zbl 0926.03036）
Jan Friso，格鲁特;奥尔本庞塞

CRL的证明理论：一种用于处理数据的语言。 （英语） 兹伯利0813.68135

Andrews，Derek J.（编辑）等人，规范语言语义（SoSL）。国际研讨会会议记录，荷兰乌得勒支，1993年10月25日至27日。柏林：Springer-Verlag。计算机研讨会。232-251 (1994).
MSC公司：60年第68季度 68问题65 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{A.Ponse}，in：规范语言的语义（SoSL）。国际研讨会会议记录，荷兰乌得勒支，1993年10月25日至27日。柏林：斯普林格。232-251（1994年；Zbl 0813.68135）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件