劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 通过多方会话类型监视网络。 (英语) Zbl 1359.68215号 西奥。计算。科学。 669, 33-58 (2017).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,Theor。计算。科学。669、33-58(2017年;Zbl 1359.68215) 全文: 内政部
习晓勇;何庆余;杨凌云 关于稳定域的最大笛卡尔闭范畴。 (英语) Zbl 1359.68184号 西奥。计算。科学。 669, 22-32 (2017).MSC公司:68问题55 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{X.Xi}等人,Theor。计算。科学。669、22-32(2017年;Zbl 1359.68184) 全文: 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 (英语) Zbl 1359.68171号 西奥。计算。科学。 669,1-21(2017).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人,Theor。计算。科学。669,1--21(2017;Zbl 1359.68171) 全文: 内政部 链接