Preface

Research output: Contribution to journal › Editorial › Academic › peer-review

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	316
Publication status	Published - 26 Apr 2020
Event	4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Virtual , Ireland Duration: 26 Apr 2020 → 26 Apr 2020 Conference number: 4

Access to Document

@article{14ec49c77081498caecebb8a1e6c85d6,

title = "Preface",

author = "Ansgar Fehnker and Hubert Garavel",

year = "2020",

month = apr,

day = "26",

language = "English",

volume = "316",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, MARS 2020 ; Conference date: 26-04-2020 Through 26-04-2020",

}

TY - JOUR

T1 - Preface

AU - Fehnker, Ansgar

AU - Garavel, Hubert

N1 - Conference code: 4

PY - 2020/4/26

Y1 - 2020/4/26

UR - https://www.scopus.com/pages/publications/85085706631

M3 - Editorial

AN - SCOPUS:85085706631

SN - 2075-2180

VL - 316

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020

Y2 - 26 April 2020 through 26 April 2020

ER -