FMICS Maynooth, Howar, F., & Barnat, J. (2018). Formal methods for industrial critical systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings. Springer. https://doi.org/10.1007/978-3-030-00244-2
Chicago-Zitierstil (17. Ausg.)FMICS Maynooth, Falk Howar, und Jiří Barnat. Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : Proceedings. Cham, Switzerland: Springer, 2018. https://doi.org/10.1007/978-3-030-00244-2.
MLA-Zitierstil (9. Ausg.)FMICS Maynooth, et al. Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : Proceedings. Springer, 2018. https://doi.org/10.1007/978-3-030-00244-2.