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

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings
Editors	Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Publisher	Springer Verlag
ISBN (Print)	9783319249520
State	Published - 2015
Event	13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 - Shanghai, China Duration: 12 Oct 2015 → 15 Oct 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9364
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015
Country/Territory	China
City	Shanghai
Period	12/10/15 → 15/10/15

Cite this

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. In B. Finkbeiner, G. Pu, & L. Zhang (Eds.), 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); Vol. 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. editor / 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. in B Finkbeiner, G Pu & L Zhang (eds), 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), vol. 9364, Springer Verlag, 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, Shanghai, China, 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. ed. / 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); Vol. 9364).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In Finkbeiner B, Pu G, Zhang L, editors, 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)).

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

Publication series

Conference

Other files and links

Cite this