玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 赫尔曼自稳定算法的概率验证。 (英语) Zbl 1259.68130号 正式Asp。计算。 24,第4-6号,661-670(2012).MSC公司:60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,正式Asp。计算。24、编号4--6661--670(2012;Zbl 1259.68130) 全文: 内政部
斯特凡诺·卡塔尼;玛尔塔·奎亚特科夫斯卡 时间自动机的基于细化的进程代数。 (英语) Zbl 1101.68694号 正式Asp。计算。 17,第2期,138-159(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Cattani}和\textit{M.Kwiatkowska},正式Asp。计算。17,第2号,138--159(2005;Zbl 1101.68694) 全文: 内政部
格钦·诺曼;大卫·帕克;玛尔塔·奎亚特科夫斯卡;Sandeep舒克拉;拉杰什·古普塔 使用概率模型检查进行动态电源管理。 (英语) Zbl 1080.68601号 正式Asp。计算。 第2160-176号第17页(2005年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,正式Asp。计算。17,第2号,160--176(2005;Zbl 1080.68601) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 IEEE 1394 fireWire根竞争协议中截止时间属性的概率模型检查。 (英语) Zbl 1029.68017号 正式Asp。计算。 14,第3期,295-318(2002).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,正式Asp。计算。14,第3号,295--318(2002;Zbl 1029.68017) 全文: 内政部
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) 全文: 内政部