Media type: E-Article Title: Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems : Preface : Preface Contributor: Fehnker, Ansgar; Garavel, Hubert Published: Open Publishing Association, 2020 Published in: Electronic Proceedings in Theoretical Computer Science, 316 (2020) Language: English DOI: 10.4204/eptcs.316.0 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access