本杰明·阿米诺夫;Legay、Axel;阿尼埃洛·穆拉诺;奥利维尔·塞雷;莫舍·瓦尔迪。 用不完善的信息检查下推模块。 (英语) Zbl 1282.68166号 Inf.计算。 223, 1-17 (2013)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。223、1-17(2013年;Zbl 1282.68166) 全文: 内政部 哈尔
Jean-Baptiste Raclet女士;埃里克·巴杜埃尔;阿尔伯特·本文尼斯特;贝努伊特Caillaud;Legay、Axel;罗伯托·帕塞罗内 基于组件设计的模态接口理论。 (英语) Zbl 1242.68147号 芬丹。通知。 108,编号1-2,119-149(2011)。MSC公司:65年第68季度 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Raclet}等人,Fundam。通知。108,编号1--2,119-449(2011;Zbl 1242.68147) 全文: 内政部