Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings

Bernd Finkbeiner; Geguang Pu; Lijun Zhang

Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings

Bernd Finkbeiner
, Geguang Pu
, Lijun Zhang

软件工程学院

Saarland University
Chinese Academy of Sciences

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

源语言	英语
主期刊名	Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings
编辑	Bernd Finkbeiner, Geguang Pu, Lijun Zhang
出版商	Springer Verlag
ISBN（印刷版）	9783319249520
出版状态	已出版 - 2015
活动	13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 - Shanghai, 中国期限: 12 10月 2015 → 15 10月 2015

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	9364
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015
国家/地区	中国
市	Shanghai
时期	12/10/15 → 15/10/15

其它文件与链接

链接到 Scopus 的出版物

引用此

Finkbeiner, B., Pu, G., & Zhang, L. (2015). Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings. 在 B. Finkbeiner, G. Pu, & L. Zhang (编辑), Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 9364). Springer Verlag.

Finkbeiner, Bernd ; Pu, Geguang ; Zhang, Lijun. / Automated technology for verification and analysis : 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings. Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. 编辑 / Bernd Finkbeiner ; Geguang Pu ; Lijun Zhang. Springer Verlag, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{160296155265475fa3dfffa338f83b13,

title = "Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings",

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

year = "2015",

language = "英语",

isbn = "9783319249520",

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

publisher = "Springer Verlag",

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

booktitle = "Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings",

address = "德国",

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

}

Finkbeiner, B, Pu, G & Zhang, L 2015, Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings. 在 B Finkbeiner, G Pu & L Zhang (编辑), Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 9364, Springer Verlag, 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, Shanghai, 中国, 12/10/15.

Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings. / Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun.
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. 编辑 / Bernd Finkbeiner; Geguang Pu; Lijun Zhang. Springer Verlag, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 9364).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - Automated technology for verification and analysis

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

AU - Finkbeiner, Bernd

AU - Pu, Geguang

AU - Zhang, Lijun

PY - 2015

Y1 - 2015

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

M3 - 会议稿件

AN - SCOPUS:84951743834

SN - 9783319249520

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

BT - Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings

A2 - Finkbeiner, Bernd

A2 - Pu, Geguang

A2 - Zhang, Lijun

PB - Springer Verlag

Y2 - 12 October 2015 through 15 October 2015

ER -

Finkbeiner B, Pu G, Zhang L. Automated technology for verification and analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015 Proceedings. 在 Finkbeiner B, Pu G, Zhang L, 编辑, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Springer Verlag. 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).