拉多斯·奥·克里梅克 面向工作流的软件模型的基于演绎的形式化验证系统。 (英语) 兹比尔1309.68131 国际期刊申请。数学。计算。科学。 24,第4期,941-956(2014).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Klimek},国际期刊应用。数学。计算。科学。24,第4号,941--956(2014;Zbl 1309.68131) 全文: 内政部 arXiv公司
阿米莉亚,拜迪奇;拜迪奇,科斯汀 用于规范和验证中间代理的FSP和FLTL框架。 (英语) Zbl 1216.68184号 国际期刊申请。数学。计算。科学。 2011年9月25日第1期第21页.MSC公司:68问题85 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.B™dic™}和\textit{C.B™dic},国际期刊应用。数学。计算。科学。21,第1号,第9--25号(2011;Zbl 1216.68184) 全文: 内政部 欧洲DML
马雷克锯文;吉勒拉克,罗马人 带有谓词的自然量子操作语义。 (英语) Zbl 1200.68118号 国际期刊申请。数学。计算。科学。 18,第3号,341-359(2008).MSC公司:2005年第68季度 68号30 2010年第68季度 第68季度55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Sawerwain}和\textit{R.Gielerak},国际期刊应用。数学。计算。科学。18,第3号,341-359(2008年;兹bl 1200.68118) 全文: 内政部 欧洲DML