Preface

Dirk Beyer; Marieke Huisman; Goran Frehse; Tomas Vojnar; Arnd Hartmanns; Philipp Wendler

Preface

Dirk Beyer
, Marieke Huisman
, Goran Frehse
, Tomas Vojnar
, Arnd Hartmanns
, Philipp Wendler

Universität München
University of Twente
Verimag
Brno University of Technology

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	VII-IX
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10805 LNCS
Publication status	Published - 1 Jan 2018
Externally published	Yes
Event	24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 - Thessaloniki, Greece Duration: 14 Apr 2018 → 20 Apr 2018

Cite this

@article{95ab0cb358d54e1ba2abb2f30adcd8f2,

title = "Preface",

author = "Dirk Beyer and Marieke Huisman and Goran Frehse and Tomas Vojnar and Arnd Hartmanns and Philipp Wendler",

year = "2018",

month = jan,

day = "1",

language = "English",

volume = "10805 LNCS",

pages = "VII--IX",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

note = "24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 ; Conference date: 14-04-2018 Through 20-04-2018",

}

TY - JOUR

T1 - Preface

AU - Beyer, Dirk

AU - Huisman, Marieke

AU - Frehse, Goran

AU - Vojnar, Tomas

AU - Hartmanns, Arnd

AU - Wendler, Philipp

PY - 2018/1/1

Y1 - 2018/1/1

UR - https://www.scopus.com/pages/publications/85045839377

M3 - Editorial

AN - SCOPUS:85045839377

SN - 0302-9743

VL - 10805 LNCS

SP - VII-IX

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018

Y2 - 14 April 2018 through 20 April 2018

ER -

Preface

Other files and links

Cite this