Pinger, R., & Stoelinga, M. (2012). Formal Methods for Industrial Critical Systems: [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger. Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationPinger, Ralf., andfavorite Mariëlle Stoelinga. Formal Methods for Industrial Critical Systems: [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / Edited By Mariëlle Stoelinga, Ralf Pinger. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
MLA CitationPinger, Ralf., andfavorite Mariëlle Stoelinga. Formal Methods for Industrial Critical Systems: [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / Edited By Mariëlle Stoelinga, Ralf Pinger. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.