Preface

Yu Fang Chen; Chih Hong Cheng; Javier Esparza

Preface

Yu Fang Chen
, Chih Hong Cheng
, Javier Esparza

Informatics 7 - Chair of Theoretical Computer Science

Academia Sinica, Institute of Information Science
DENSO AUTOMOTIVE Deutschland GmbH

Research output: Contribution to journal › Editorial

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11781 LNCS
State	Published - 2019
Event	17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019 - Taipei, Taiwan, Province of China Duration: 28 Oct 2019 → 31 Oct 2019

Cite this

@article{629aa1e60ef741cab393bf720f45dac0,

title = "Preface",

author = "Chen, \{Yu Fang\} and Cheng, \{Chih Hong\} and Javier Esparza",

year = "2019",

language = "English",

volume = "11781 LNCS",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019 ; Conference date: 28-10-2019 Through 31-10-2019",

}

TY - JOUR

T1 - Preface

AU - Chen, Yu Fang

AU - Cheng, Chih Hong

AU - Esparza, Javier

PY - 2019

Y1 - 2019

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

M3 - Editorial

AN - SCOPUS:85076114783

SN - 0302-9743

VL - 11781 LNCS

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019

Y2 - 28 October 2019 through 31 October 2019

ER -

Preface

Other files and links

Cite this