Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

MLA

Salaün, G., Bernhard Schätz and SpringerLink (Online service). Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. 1st ed. 2011. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

APA

Salaün, G., Schätz, B. & SpringerLink (Online service). (2011). Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. 1st ed. 2011. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer.

Chicago

Salaün, G., Bernhard Schätz and SpringerLink (Online service). Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. Edited by G. Salaün and Bernhard Schätz. 1st ed. 2011. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.