马克·蒂姆;Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);玛丽·斯托琳加 马尔可夫自动机的汇流约简。 (英语) Zbl 1356.68136号 西奥。计算。科学。 655,B部分,193-219(2016).MSC公司:第68季度第45季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人,Theor。计算。科学。655,B部分,193--219(2016;Zbl 1356.68136) 全文: 内政部
Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);玛丽·斯托琳加;马克·蒂姆 概率自动机数据的线性过程代数格式。 (英语) Zbl 1283.68246号 西奥。计算。科学。 413,第1期,36-57(2012). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68问题85 第68季度第45季度 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公司:60年第68季度 第68季度第45季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人,Lect。注释计算。科学。6605311--325(2011;Zbl 1316.68077) 全文: 内政部 arXiv公司