CITATION STYLE
Núñez, M., & Güdemann, M. (2015). Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9128). Springer Verlag. https://doi.org/10.1007/978-3-319-19458-5
Mendeley helps you to discover research relevant for your work.