法特玛杰巴利;弗雷德里克·朗;拉杜·马特埃斯库 使用GRL和CADP对GALS系统进行正式建模和验证。 (英语) Zbl 1345.68023号 正式Asp。计算。 28,第5期,767-804(2016).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Jebali}等人,正式Asp。计算。28,第5号,767--804(2016;Zbl 1345.68023) 全文: 内政部 哈尔
休伯特·加拉维 重温过程计算中的序列构成。 (英语) Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.日志。阿尔盖布。方法程序。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部
Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);玛丽·斯托琳加;马克·蒂默 概率自动机数据的线性过程代数格式。 (英语) Zbl 1283.68246号 西奥。计算。科学。 413,第1期,36-57(2012). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,Theor。计算。科学。413,编号1,36-57(2012;Zbl 1283.68246) 全文: 内政部 链接
米哈埃拉·西希雷亚努;拉杜·马特埃斯库 IEEE-1394串行总线(FireWire)链路层协议的验证:E-LOTOS实验。 (英语) 兹比尔1065.68596 国际期刊软件。技术工具。变压器。2,第1期,68-88(1998年)。MSC公司:99年第68季度 PDF格式BibTeX公司 XML格式 全文: 内政部