克里斯特尔·拜尔；卢卡·德·阿尔法罗；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡 模型检查概率系统。 （英语） Zbl 1392.68227号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227） 全文： 内政部
Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 预期可达性-时间游戏。 （英语） Zbl 1339.68146号 西奥。计算。科学。 631, 139-160 (2016).MSC公司：65年第68季度 2010年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人，Theor。计算。科学。63113-160（2016年；Zbl 1339.68146） 全文： 内政部 arXiv公司
克里斯特尔·拜尔（编辑）；玛尔塔·奎亚特科夫斯卡（编辑） 概率模型检验专题前言。 （英语） 兹比尔1291.68245 形式方法系统。设计。 43，第2期，121-123（2013）.MSC公司：60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{M.Kwiatkowska}（主编），《形式方法系统》。设计。43，编号2121-123（2013年；兹bl 1291.68245） 全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；杰里米·斯普洛斯顿；王富之 概率时间自动机的符号模型检验。 （英语） Zbl 1122.68075号 Inf.计算。 205，第7期，1027-1077（2007）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，《信息计算》。205，第7号，1027--1077（2007；Zbl 1122.68075） 全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；杰里米·斯普洛斯顿 使用数字时钟的概率时间自动机性能分析。 （英语） Zbl 1105.68063号 形式方法系统。设计。 29，第1期，33-78（2006）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，《形式方法系统》。设计。29，第1号，第33--78条（2006；Zbl 1105.68063） 全文： 内政部 链接
霍尔格·赫尔曼斯；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 （英语） 兹比尔1054.68018 J.日志。阿尔盖布。程序。 56，第1-2期，23-67（2003）.MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人，J.Log。阿尔盖布。程序。56，编号1--2，23-67（2003；Zbl 1054.68018） 全文： 内政部
克里斯特尔·拜尔；玛尔塔·奎亚特科夫斯卡 公平约束下概率过程定性性质的验证。 （英语） Zbl 1078.68664号 信息处理。莱特。 66，No.2，71-79（1998）.MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{M.Kwiatkowska}，Inf.过程。莱特。66，第2号，71-79（1998年；兹bl 1078.68664） 全文： 内政部
克里斯特尔·拜尔；埃德蒙·克拉克（Edmund M.Clarke）。；瓦西利基·哈特纳斯·加姆豪森；玛尔塔·奎亚特科夫斯卡；马克·瑞恩 概率过程的符号模型检查。 （英语） Zbl 1401.68180号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256430-440（1997）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。票据计算。科学。12561430-440（1997年；兹bl 1401.68180） 全文： 内政部 链接
Marta Z.Kwiatkowska。 事件公平性和不干涉并发性。 （英语） Zbl 0696.68092号 形式方面计算。 1，第3期，213-228（1989）.MSC公司：第68季度55 68问题85 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska}，正式Asp。计算。1，第3号，213--228（1989；Zbl 0696.68092） 全文： 内政部