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 I

Dirk Beyer; Marieke Huisman

doi:10.1007/978-3-319-89960-2

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 I

Dirk Beyer (Editor), Marieke Huisman (Editor)

Research output: Book/Report › Book editing › Academic

923 Downloads (Pure)

Original language	English
Publisher	Springer
ISBN (Electronic)	978-3-319-89960-2
ISBN (Print)	978-3-319-89959-6
DOIs	https://doi.org/10.1007/978-3-319-89960-2
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10805

Access to Document

10.1007/978-3-319-89960-2

toolsFinal published version, 18.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 I. (Lecture Notes in Computer Science; Vol. 10805). Springer. https://doi.org/10.1007/978-3-319-89960-2

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 I. Springer, 2018. (Lecture Notes in Computer Science).

@book{a701372d17cb4dc1b570c58e208a8da0,

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 I",

editor = "Dirk Beyer and Marieke Huisman",

year = "2018",

doi = "10.1007/978-3-319-89960-2",

language = "English",

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

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 I. Lecture Notes in Computer Science, vol. 10805, Springer. https://doi.org/10.1007/978-3-319-89960-2

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 I. / Beyer, Dirk (Editor); Huisman, Marieke (Editor).
Springer, 2018. (Lecture Notes in Computer Science; Vol. 10805).

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 I

A2 - Beyer, Dirk

A2 - Huisman, Marieke

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-89960-2

DO - 10.1007/978-3-319-89960-2

M3 - Book editing

SN - 978-3-319-89959-6

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 I. Springer, 2018. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-89960-2