×

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

最新的 引文 关联
马克·蒂默;范德波尔（Jaco van de Pol）;玛丽·艾尔·斯托琳加。

马尔可夫自动机的汇流约简。 （英语） Zbl 1390.68419号

Braberman，Víctor（编辑）等人，《定时系统的形式化建模和分析》。2013年8月29日至31日，阿根廷布宜诺斯艾利斯，第11届国际会议，FORMATS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40228-9/pbk）。《计算机科学讲义》8053243-257（2013）。
MSC公司：65年第68季度 第68季度第60季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Timmer}等人，Lect。注释计算。科学。8053、243-257（2013；Zbl 1390.68419）
全文： 内政部 链接
马克·蒂默;Joost-Pieter卡托恩;范德波尔（Jaco van de Pol）;玛丽·艾尔·斯托琳加。

马尔可夫自动机的有效建模和生成。 （英语） Zbl 1364.68295号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，364-379（2012）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Timmer}等人，Lect。注释计算。科学。7454、364--379（2012年；Zbl 1364.68295）
全文： 内政部 链接
Joost-Pieter卡托恩;范德波尔（Jaco van de Pol）;玛丽·斯托琳加;马克·蒂默

概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号

西奥。计算。科学。 413，第1期，36-57（2012）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246）
全文： 内政部 链接
马克·蒂默;玛丽·斯托琳加;范德波尔（Jaco van de Pol）

概率系统的汇流减少。 （英语） Zbl 1316.68077号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605311-325（2011）。
MSC公司：第68季度第60季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Timmer｝等人，Lect。注释计算。科学。6605311--325（2011；Zbl 1316.68077）
全文： 内政部 arXiv公司
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;玛丽·斯托琳加

计时游戏中的惊喜元素。 （英语） Zbl 1262.68141号

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 144-158 (2003).
MSC公司：68问题85 65年第68季度 第68季度第60季度 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.de Alfaro}等人，Lect。注释计算。科学。2761144-158（2003年；Zbl 1262.68141）
全文： 内政部
玛丽·斯托琳加;Vaandrager，Frits公司

概率自动机的测试场景。 （英语） Zbl 1039.68071号

Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。莱克特。注释计算。科学。2719, 464-477 (2003).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Stoelinga}和\textit{F.Vaandrager}，莱克特。注释计算。科学。2714964-477（2003年；Zbl 1039.68071）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件