Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen

doi:10.1007/978-3-030-17502-3

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Dirk Beyer (Editor), Marieke Huisman (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor)

Research output: Book/Report › Book editing › Academic

683 Downloads (Pure)

Original language	English
Publisher	Springer
ISBN (Electronic)	978-3-030-17502-3
ISBN (Print)	978-3-030-17501-6
DOIs	https://doi.org/10.1007/978-3-030-17502-3
Publication status	Published - 2019
Event	TOOLympics 2019 - Prague, Czech Republic Duration: 6 Apr 2019 → 7 Apr 2019

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11429

Access to Document

10.1007/978-3-030-17502-3Licence: CC BY

2019_Book_ToolsAndAlgorithmsForTheConstrFinal published version, 9.9 MBLicence: CC BY

https://link.springer.com/book/10.1007%2F978-3-030-17502-3Licence: CC BY

Cite this

@book{9c7d3b43639c48049161ca0b4d209ade,

title = "Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III",

editor = "Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen",

year = "2019",

doi = "10.1007/978-3-030-17502-3",

language = "English",

isbn = "978-3-030-17501-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

note = "TOOLympics 2019 ; Conference date: 06-04-2019 Through 07-04-2019",

}

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. / Beyer, Dirk (Editor); Huisman, Marieke (Editor); Kordon, Fabrice (Editor) et al.
Springer, 2019. (Lecture Notes in Computer Science; Vol. 11429).

Research output: Book/Report › Book editing › Academic

TY - BOOK

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

T2 - TOOLympics 2019

A2 - Beyer, Dirk

A2 - Huisman, Marieke

A2 - Kordon, Fabrice

A2 - Steffen, Bernhard

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-17502-3

DO - 10.1007/978-3-030-17502-3

M3 - Book editing

SN - 978-3-030-17501-6

T3 - Lecture Notes in Computer Science

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

PB - Springer

Y2 - 6 April 2019 through 7 April 2019

ER -