玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) Zbl 1505.68025号 形式方法系统。设计。 58,编号1-2,188-250(2021).MSC公司:60年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《形式方法系统》。设计。58,编号1-2188-250(2021;兹bl 1505.68025) 全文: 内政部 arXiv公司
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1291.68252号 形式方法系统。设计。 43,第1期,61-92(2013).MSC公司:60年第68季度 87年第68季度 91A15型 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Form.Methods Syst。设计。43,第1号,61-92(2013;Zbl 1291.68252) 全文: 内政部 链接
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 PRISM-games:随机多层游戏的模型检查器。 (英语) 兹比尔1381.68151 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795185-191(2013)。MSC公司:60年第68季度 87年第68季度 91A06型 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7795,185--191(2013;Zbl 1381.68151) 全文: 内政部
陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 竞争随机系统的自动验证。 (英语) Zbl 1352.68150号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,315-330(2012)。MSC公司:60年第68季度 03B44号 87年第68季度 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7214、315-330(2012;Zbl 1352.68150) 全文: 内政部
陈、陶璐;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 使用概率模型检查验证团队组建协议。 (英语) Zbl 1348.68255号 Leite,Joáo(编辑)等人,《多智能体系统中的计算逻辑》。第十二届国际研讨会,CLIMA XII,西班牙巴塞罗那,2011年7月17日至18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22358-7/pbk)。计算机科学讲义6814。《人工智能课堂讲稿》,190-207年(2011年)。MSC公司:68T42型 60J20型 60年第68季度 87年第68季度 90立方厘米 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。6814、190--207(2011;Zbl 1348.68255) 全文: 内政部