Preface

Javier Esparza; Enrico Tronci

doi:10.4204/EPTCS.193

Preface

Javier Esparza
, Enrico Tronci

Informatics 7 - Chair of Theoretical Computer Science

Research output: Contribution to journal › Editorial

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	193
DOIs	https://doi.org/10.4204/EPTCS.193
State	Published - 23 Sep 2015
Event	6th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2015 - Genoa, Italy Duration: 21 Sep 2015 → 22 Sep 2015

Access to Document

10.4204/EPTCS.193

Cite this

@article{d10f8e71782a41c88fb31512760eb443,

title = "Preface",

author = "Javier Esparza and Enrico Tronci",

year = "2015",

month = sep,

day = "23",

doi = "10.4204/EPTCS.193",

language = "English",

volume = "193",

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

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "6th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2015 ; Conference date: 21-09-2015 Through 22-09-2015",

}

TY - JOUR

T1 - Preface

AU - Esparza, Javier

AU - Tronci, Enrico

PY - 2015/9/23

Y1 - 2015/9/23

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

U2 - 10.4204/EPTCS.193

DO - 10.4204/EPTCS.193

M3 - Editorial

AN - SCOPUS:85048142350

SN - 2075-2180

VL - 193

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 6th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2015

Y2 - 21 September 2015 through 22 September 2015

ER -

Preface

Access to Document

Other files and links

Cite this