Preface

Ansgar Fehnker; Hubert Garavel

Preface

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript/introduction

Original language	English
Title of host publication	Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020
Editors	Ansgar Fehnker, Hubert Garavel
Place of Publication	Waterloo, NSW
Publisher	Open Publishing Association
Number of pages	1
Publication status	Published - 2020
Event	4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Dublin, Ireland Duration: 26 Apr 2020 → 26 Apr 2020

Publication series

Name	Electronic Proceedings in Theoretical Computer Science, EPTCS
Publisher	Open Publishing Association
ISSN (Print)	2075-2180

Conference

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

Access to Document

http://eptcs.web.cse.unsw.edu.au/content.cgi?MARS2020

Cite this

@inbook{9246117fd6a74509be4cbc62cf7cd42e,

title = "Preface",

author = "Ansgar Fehnker and Hubert Garavel",

year = "2020",

language = "English",

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

publisher = "Open Publishing Association",

editor = "Ansgar Fehnker and Hubert Garavel",

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

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

}

Fehnker, A & Garavel, H 2020, Preface. in A Fehnker & H Garavel (eds), Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020. Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, Waterloo, NSW, 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland, 26/04/20. <http://eptcs.web.cse.unsw.edu.au/content.cgi?MARS2020>

Preface. / Fehnker, Ansgar; Garavel, Hubert.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020. ed. / Ansgar Fehnker; Hubert Garavel. Waterloo, NSW: Open Publishing Association, 2020. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript/introduction

TY - CHAP

T1 - Preface

AU - Fehnker, Ansgar

AU - Garavel, Hubert

PY - 2020

Y1 - 2020

M3 - Foreword/postscript/introduction

T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS

BT - Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020

A2 - Fehnker, Ansgar

A2 - Garavel, Hubert

PB - Open Publishing Association

CY - Waterloo, NSW

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

Y2 - 26 April 2020 through 26 April 2020

ER -