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 (Editor)

Research output: Book/ReportBook editing

LanguageEnglish
PublisherSpringer
Volume10806
ISBN (Electronic)978-3-319-89963-3
ISBN (Print)978-3-319-89962-6
DOIs
StatePublished - 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10806

Cite this

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

}

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

AU - 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 -