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/ReportBook editingAcademic

4 Downloads (Pure)
Original languageEnglish
PublisherSpringer
ISBN (Electronic)978-3-030-17502-3
ISBN (Print)978-3-030-17501-6
DOIs
Publication statusPublished - 2019
EventTOOLympics 2019 - Prague, Czech Republic
Duration: 6 Apr 20197 Apr 2019

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11429

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

}

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); Steffen, Bernhard (Editor).

Springer, 2019. (Lecture Notes in Computer Science; Vol. 11429).

Research output: Book/ReportBook editingAcademic

TY - BOOK

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

T2 - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

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

ER -