Kowalewski, Stefan.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)