TY  - BOOK
AU  - Schätz,Bernhard
AU  - Salaün,Gwen
ED  - International Workshop on Formal Methods for Industrial Critical Systems.
TI  - Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings 
SN  - 9783642244315
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
UR  - http://dx.doi.org/10.1007/978-3-642-24431-5
ER  -