Marieblle Stoelinga

M S.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings978-3-642-32468-O
(3-642-32468-1)
2012

Mariecaroline Saglioyatzimirsky