范·赫斯特,A.C。;Reniers,医学硕士。;W.J.福克金。 非确定性和模态逻辑的最大允许受控系统综合。 (英语) Zbl 1356.93030号 离散事件动态。系统。 27,第1号,109-142(2017).MSC公司:93亿B50 03B45 93个B05 65年第68季度 93立方厘米95 PDF格式BibTeX公司 XML格式引用 \textit{A.C.van Hulst}等人,《离散事件动力学》。系统。27,第1号,109--142(2017;Zbl 1356.93030) 全文: 内政部
加塞米,法特梅;Wan Fokkink公司;阿里·莫瓦加尔 移动自组网的验证:代数方法。 (英语) Zbl 1216.68160号 西奥。计算。科学。 412,第28号,3262-3282(2011).MSC公司:60年第68季度 2007年7月68日 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}等人,Theor。计算。科学。412,第28号,3262-3282(2011;Zbl 1216.68160) 全文: 内政部
Wan Fokkink公司;庞、俊;范德波尔(Jaco van de Pol) 锥和焦点:协议验证的机械框架。 (英语) Zbl 1103.68652号 表格方法系统。设计。 29,第1期,1-31页(2006年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《形式方法系统》。设计。29,第1号,1--31(2006;Zbl 1103.68652) 全文: 内政部
Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。 (英语) Zbl 1088.68094号 西奥。计算。科学。 354,第3期,421-440(2006).MSC公司:68问题55 60年第68季度 68问题85 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,Theor。计算。科学。354,第3号,421--440(2006;Zbl 1088.68094) 全文: 内政部
博特尼克,E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克(J.M.Van De Mortel-Fronczak)。;巴顿,J.C.M。;W.J.福克金。;罗达,J.E。 使用Spin、CADP和Uppaal分析转台系统的(chi)模型。 (英语) Zbl 1088.68523号 J.日志。阿尔盖布。程序。 65,第2期,51-104(2005).MSC公司:68平方米 68米15 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Bortnik}等人,J.Log。阿尔盖布。程序。65,No.2,51--104(2005;Zbl 1088.68523) 全文: 内政部