Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Dirk Beyer; Marieke Huisman

doi:10.1007/978-3-319-89963-3

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Dirk Beyer (Editor), Marieke Huisman (Editor)

Research output: Book/Report › Book editing › Academic

634 Downloads (Pure)

Original language	English
Publisher	Springer
Volume	10806
ISBN (Electronic)	978-3-319-89963-3
ISBN (Print)	978-3-319-89962-6
DOIs	https://doi.org/10.1007/978-3-319-89963-3
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10806

Access to Document

10.1007/978-3-319-89963-3

toolsFinal published version, 20.5 MB

Cite this

Beyer, D., & Huisman, M. (Eds.) (2018). Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. (Lecture Notes in Computer Science; Vol. 10806). Springer. https://doi.org/10.1007/978-3-319-89963-3

Beyer, Dirk (Editor) ; Huisman, Marieke (Editor). / Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Springer, 2018. (Lecture Notes in Computer Science).

@book{5208d0f7b356423eac8740414708e2c6,

title = "Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II",

editor = "Dirk Beyer and Marieke Huisman",

year = "2018",

doi = "10.1007/978-3-319-89963-3",

language = "English",

isbn = "978-3-319-89962-6",

volume = "10806",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Beyer, D & Huisman, M (eds) 2018, Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Lecture Notes in Computer Science, vol. 10806, vol. 10806, Springer. https://doi.org/10.1007/978-3-319-89963-3

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. / Beyer, Dirk (Editor); Huisman, Marieke (Editor).
Springer, 2018. (Lecture Notes in Computer Science; Vol. 10806).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Tools and Algorithms for the Construction and Analysis of Systems

T2 - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

A2 - Beyer, Dirk

A2 - Huisman, Marieke

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-89963-3

DO - 10.1007/978-3-319-89963-3

M3 - Book editing

SN - 978-3-319-89962-6

VL - 10806

T3 - Lecture Notes in Computer Science

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

ER -

Beyer D, (ed.), Huisman M, (ed.). Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Springer, 2018. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-89963-3