尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 （英语） Zbl 1309.68130号 学报信息。 52，编号2-3，269-297（2015）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Acta Inf.52，No.2--3，269--297（2015；Zbl 1309.68130） 全文： 内政部 链接
谢尔盖·哈达德;罗尔夫·亨尼克;米凯尔·H·默勒。 使用模态I/O Petri网的异步组件系统规范。 （英语） Zbl 1348.68162号 Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358219-234（2014）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}等人，Lect。注释计算。科学。8358，219--234（2014；Zbl 1348.68162） 全文： 内政部
拜格，乔金;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 （英语） Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人，Theor。计算。科学。537，3--28（2014；Zbl 1359.68216） 全文： 内政部
谢尔盖·哈达德;罗尔夫·亨尼克;米凯尔·H·默勒。 异步组合Petri网的信道属性。 （英语） 兹比尔1381.68203 Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927369-388（2013）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}等人，Lect。注释计算。科学。7927369--388（2013年；Zbl 1381.68203） 全文： 内政部
亚历山大·戴维;拉塞·雅各布森;雅各布森，莫顿;约根森、肯尼思·伊尔克;米凯尔·H·默勒。;吉·斯尔巴 TAPAAL 2.0：时弧Petri网的集成开发环境。 （英语） Zbl 1352.68181号 Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，492-497（2012）。MSC公司：第68季度85 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。注释计算。科学。7214、492--497（2012年；Zbl 1352.68181） 全文： 内政部
尼古拉·贝内什;简·Křetínsk;金·古德斯特兰·拉森;米凯尔·H·默勒。;斯尔巴，吉里耶 具有持续时间的双价格模式转换系统。 （英语） Zbl 1352.68144号 Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180122-137（2012）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。7180122-137（2012；Zbl 1352.68144） 全文： 内政部
Möller，M。;A.穆克吉。;阿道夫，C.P.J。;D.J.J.Marchand。;M.贝丘。 长范围跳跃模型的格点格林函数的有效计算。 （英语） Zbl 1250.82043号 《物理学杂志》。A、 数学。西奥。 45，第11号，文章ID 115206，第9页（2012年）.MSC公司：82D20型 82B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Möller}等人，J.Phys。A、 数学。西奥。45，第11号，文章ID 115206，9页（2012；Zbl 1250.82043） 全文： 内政部 链接
尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;吉·斯尔巴 参数模态转换系统。 （英语） Zbl 1348.68120号 Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，275-289（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。6996，275--289（2011；Zbl 1348.68120） 全文： 内政部
拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。;吉·斯尔巴 时弧Petri网的验证。 （英语） Zbl 1298.68175号 乔纳·伊万娜（编辑）等，《SOFSEM 2011：计算机科学的理论与实践》。2011年1月22日至28日，斯洛伐克斯莫科韦茨，第37届计算机科学理论和实践趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18380-5/pbk）。计算机科学课堂讲稿6543，46-72（2011）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人，Lect。注释计算。科学。6543、46-72（2011年；Zbl 1298.68175） 全文： 内政部
拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。 带不变量的时弧Petri网覆盖性和有界性的不确定性。 （英语） Zbl 1247.68186号 Hlinen，Petr（ed.）等人，计算机科学数学和工程方法年度博士研讨会（MEMICS’09）。根据2009年11月13日至15日在捷克共和国Znojmo举行的研讨会上所作的介绍，选出了一些论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-15-6）。OASIcs–信息学中的OpenAccess系列13，104-111，仅电子版（2009年）。MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人，OASIcs--OpenAccess服务器。通知。13、104--111（2009；Zbl 1247.68186） 全文： 内政部
Saermark，K。;M.穆勒。;美国Hintze。;莫尔加德，H。;布洛赫·汤姆森，P.E。;Huikuri，H。;马基亚利奥，T。;莱维坦，J。;M.莱科维奇。 比较分析心率变异性的最新方法。 （英语） Zbl 0964.92021号 分形 8，第4期，315-322（2000）.MSC公司：92 C50 62页第10页 92C30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Saermark}等人，分形8，No.4，315--322（2000；Zbl 0964.92021） 全文： 内政部