Preface

Research output: Contribution to journal › Editorial

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	272
Publication status	Published - 25 Jun 2018
Event	1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD 2018 - Thessaloniki, Greece Duration: 15 Apr 2018 → …

Cite this

@article{49553f3a4e2e496a80d41b2b69c3f787,

title = "Preface",

author = "Simon Bliudze and Saddek Bensalem",

year = "2018",

month = jun,

day = "25",

language = "English",

volume = "272",

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

issn = "2075-2180",

note = "1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD 2018 ; Conference date: 15-04-2018",

}

TY - JOUR

T1 - Preface

AU - Bliudze, Simon

AU - Bensalem, Saddek

PY - 2018/6/25

Y1 - 2018/6/25

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

M3 - Editorial

AN - SCOPUS:85110778451

SN - 2075-2180

VL - 272

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD 2018

Y2 - 15 April 2018

ER -