拉多斯·奥·克里梅克 基于模式和组合驱动的面向工作流的软件模型逻辑规范的自动生成。 (英语) Zbl 1423.68101号 J.日志。代数。方法计划。 104, 201-226 (2019).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Klimek}、J.Log。代数。方法计划。104、201——226(2019年;Zbl 1423.68101) 全文: 内政部
拉多斯·奥·克里梅克 面向工作流的软件模型的基于演绎的形式化验证系统。 (英语) Zbl 1309.68131号 国际期刊申请。数学。计算。科学。 第41941-956号第24页(2014年).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Klimek},国际期刊应用。数学。计算。科学。24,第4号,941--956(2014;Zbl 1309.68131) 全文: 内政部 arXiv公司