Preface

Bernd Finkbeiner; Geguang Pu; Lijun Zhang

doi:10.1007/978-3-319-24953-7

Preface

Bernd Finkbeiner
, Geguang Pu
, Lijun Zhang

软件工程学院

科研成果: 期刊稿件 › 社论

1 引用（Scopus）

源语言	英语
页（从-至）	V
期刊	Lecture Notes in Computer Science
卷	9364
DOI	https://doi.org/10.1007/978-3-319-24953-7
出版状态	已出版 - 2015
活动	13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 - Shanghai, 中国期限: 12 10月 2015 → 15 10月 2015

访问文件

10.1007/978-3-319-24953-7

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{414721e3aa99445fba83bc3ea767e813,

title = "Preface",

author = "Bernd Finkbeiner and Geguang Pu and Lijun Zhang",

year = "2015",

doi = "10.1007/978-3-319-24953-7",

language = "英语",

volume = "9364",

pages = "V",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

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

note = "13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 ; Conference date: 12-10-2015 Through 15-10-2015",

}

TY - JOUR

T1 - Preface

AU - Finkbeiner, Bernd

AU - Pu, Geguang

AU - Zhang, Lijun

PY - 2015

Y1 - 2015

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

U2 - 10.1007/978-3-319-24953-7

DO - 10.1007/978-3-319-24953-7

M3 - 社论

AN - SCOPUS:84951863605

SN - 0302-9743

VL - 9364

SP - V

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015

Y2 - 12 October 2015 through 15 October 2015

ER -