安德烈亚·科拉迪尼;巴巴拉·科尼格;诺尔特,丹尼斯 使用类型图指定图形语言。 (英语) Zbl 1423.68248号 J.日志。阿尔盖布。方法计划。 104, 176-200 (2019).MSC公司:65年第68季度 03B25号 18B99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,J.Log。阿尔盖布。方法计划。104176-200(2019年;兹比尔1423.68248) 全文: 内政部 arXiv公司
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英语) Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司
Mike Behrisch先生;塞巴斯蒂安·柯霍夫;莱因哈德·普舍尔;施耐德、弗里德里希·马丁;斯特凡·西格蒙德 类别中的动态系统。 (英语) Zbl 1369.37024号 申请。类别。结构。 25,第1期,29-57(2017).MSC公司:第37页第55页 68问题65 18立方厘米 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.Behrisch}等人,应用。类别。结构。25,第1号,第29-57条(2017;Zbl 1369.37024) 全文: 内政部 链接
西蒙·安布勒 论证语义的分类方法。 (英语) Zbl 0849.18007号 数学。结构。计算。科学。 6,第2期,167-188(1996). 审核人:K.Peeva(索非亚) MSC公司:18立方厘米 68T27型 18甲15 03克10 PDF格式BibTeX公司 XML格式引用 \textit{S.Ambler},数学。结构。计算。科学。6,第2号,167--188(1996;Zbl 0849.18007) 全文: 内政部