Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

Ansgar Fehnker (Editor), Hubert Garavel (Editor)

Research output: Contribution to conference › Other

Original language	English
DOIs	https://doi.org/10.4204/EPTCS.316
Publication status	Published - 2020
Externally published	Yes
Event	4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Dublin, Ireland Duration: 26 Apr 2020 → 26 Apr 2020

Conference	4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020
Abbreviated title	MARS 2020
Country	Ireland
City	Dublin
Period	26/04/20 → 26/04/20

Access to Document

@conference{125d58af9ea34ea2b5ecb3521c1fad18,

title = "Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems",

author = "Ansgar Fehnker and Hubert Garavel",

year = "2020",

doi = "10.4204/EPTCS.316",

language = "English",

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

}