Kowalewski, Stefan.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
Kowalewski, Stefan.; Roveri, Marco.; SpringerLink (Online service)
(書目-語言資料,印刷品)