Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020

Ansgar Fehnker (Editor), Hubert Garavel

Research output: Book/Report › Book editing › Academic

Original language	English
Publisher	ArXiv.org
DOIs	https://doi.org/10.4204/EPTCS.316
Publication status	Published - 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

Name	EPTCS
Volume	316

Access to Document

@book{8285103e1cee49a5b8965530af132506,

title = "Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020",

author = "Hubert Garavel",

editor = "Ansgar Fehnker",

year = "2020",

doi = "10.4204/EPTCS.316",

language = "English",

series = "EPTCS",

publisher = "ArXiv.org",

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 - BOOK

T1 - Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020

AU - Garavel, Hubert

A2 - Fehnker, Ansgar

N1 - Conference code: 4

PY - 2020

Y1 - 2020

U2 - 10.4204/EPTCS.316

DO - 10.4204/EPTCS.316

M3 - Book editing

T3 - EPTCS

BT - Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020

PB - ArXiv.org

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

Y2 - 26 April 2020 through 26 April 2020

ER -