胡安·德·拉腊;汉斯·旺格鲁 自动化基于转换的视觉语言分析。 (英文) Zbl 1213.68412号 正式Asp。计算。 22,编号3-4,297-326(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lara}和\textit{H.Vangheluwe},正式Asp。计算。22,编号3--4,297--326(2010;Zbl 1213.68412) 全文: 内政部 链接
保罗·巴尔丹;安德烈亚·科拉迪尼;芭芭拉·柯尼格 用于验证无限状态图转换系统的框架。 (英文) Zbl 1153.68034号 Inf.计算。 206,第7号,869-907(2008).MSC公司:60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。206,第7号,869--907(2008;Zbl 1153.68034) 全文: 内政部