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

LanguageEnglish
PublisherSpringer
ISBN (Electronic)978-3-319-89960-2
ISBN (Print)978-3-319-89959-6
DOIs
StatePublished - 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10805

Cite this

@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",
author = "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",

}

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 -