约阿希姆·克莱因;拜尔,克里斯特尔;克吕佩尔霍尔茨,萨沙 大多数通用控制器的组成结构。 (英语) Zbl 1329.68186号 学报信息。 52,No.4-5,443-482(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人,《学报》第52期,第4--5、443--482号(2015年;Zbl 1329.68186) 全文: DOI程序
阿瓜多,约阿奎因;迈克尔·门德勒;冯·汉克斯利登,莱因哈德;Insa Fuhrmann公司 同步并发构造调度的表示定点语义。 (英语) Zbl 1325.68135号 学报信息。 52,No.4-5,393-442(2015).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Aguado}等人,《学报》第52期,第4--5393--442号(2015年;Zbl 1325.68135) 全文: DOI程序 链接
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 (英语) Zbl 1410.68250号 学报信息。 52,No.4-5,337-392(2015).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,《学报》第52期,第4--5337--392号(2015年;Zbl 1410.68250) 全文: DOI程序
杰拉尔德·吕特根;沃尔特·福格勒;芬德里奇、萨沙 具有乐观和悲观兼容性的更丰富的接口自动机。 (英语) Zbl 1325.68161号 学报信息。 52,编号4-5,305-336(2015).MSC公司:68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}等人,《信息学报》52,第4--5305-336号(2015;Zbl 1325.68161) 全文: DOI程序
罗布·范·格拉贝克。(编辑);乌苏拉·戈尔茨(编辑);奥尔德罗格(Ernst-Rüdiger Olderog)(编辑) 关于“组合性和并发性相结合”的特刊。二、。 (英语) Zbl 1315.00128号 学报信息。 52,编号4-5,303-304(2015).MSC公司:00时25分 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}(编辑)等人,《学报》第52期,第4--5、303--304号(2015年;Zbl 1315.00128) 全文: DOI程序
曼弗雷德·布罗伊 致力于信息学的一生:弗里德里希·鲍尔教授的讣告。 (英语) Zbl 1326.01050号 学报信息。 52,编号4-5,299-301(2015).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},Acta Inf.52,No.4--5,299--301(2015;Zbl 1326.01050) 全文: DOI程序