孙孟;法哈德·阿尔巴;克里斯特尔·拜尔 根据基于场景的交互规范合成Reo电路。 (英语) Zbl 1237.68064号 科学。计算。程序。 76,第8期,651-680(2011). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68号30 68甲15 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人,科学。计算。程序。76,第8号,651--680(2011;Zbl 1237.68064) 全文: 内政部
克吕佩尔霍尔茨,萨沙;克里斯特尔·拜尔 多智能体系统的交替时间流逻辑。 (英语) Zbl 1192.68697号 科学。计算。程序。 75,第6号,398-425(2010).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier},科学。计算。程序。75,第6号,398--425(2010;Zbl 1192.68697) 全文: 内政部
克吕佩尔霍尔茨,萨沙;克里斯特尔·拜尔 基于通道的元件连接器的符号模型检查。 (英语) 兹比尔1167.68035 科学。计算。程序。 74,编号9,688-701(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier},科学。计算。程序。74,第9号,688--701(2009;Zbl 1167.68035) 全文: 内政部
克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特 通过约束自动机在Reo中建模组件连接器。 (英语) Zbl 1105.68058号 科学。计算。程序。 61,第2号,75-113(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,科学。计算。程序。61,No.2,75--113(2006;Zbl 1105.68058) 全文: 内政部 链接