玛尔塔·奎亚特科夫斯卡;诺曼,格钦;大卫·帕克;加布里埃尔·桑托斯 并发随机系统的自动验证。 (英语) 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--2,188-250(2021;Zbl 1505.68025) 全文: 内政部 arXiv公司 OA许可证
陈、陶璐;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}等人,《形式方法系统》。设计。43,第1号,61-92(2013;Zbl 1291.68252) 全文: 内政部 链接