Preface

Dirk Beyer; Axel Legay; Tiziana Margaria; Dave Parker

Preface

Dirk Beyer
, Axel Legay
, Tiziana Margaria
, Dave Parker

Ludwig Maximilian University of Munich
Institut national de recherche en informatique et en automatique
University of Birmingham

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	VII-VIII
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10205 LNCS
Publication status	Published - 2017
Event	23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 - Uppsala, Sweden Duration: 22 Apr 2017 → 29 Apr 2017

Cite this

@article{0ccef4e2a67f4989bcff95096587d5bd,

title = "Preface",

author = "Dirk Beyer and Axel Legay and Tiziana Margaria and Dave Parker",

year = "2017",

language = "English",

volume = "10205 LNCS",

pages = "VII--VIII",

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

issn = "0302-9743",

note = "23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 ; Conference date: 22-04-2017 Through 29-04-2017",

}

TY - JOUR

T1 - Preface

AU - Beyer, Dirk

AU - Legay, Axel

AU - Margaria, Tiziana

AU - Parker, Dave

PY - 2017

Y1 - 2017

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

M3 - Editorial

AN - SCOPUS:85017502802

SN - 0302-9743

VL - 10205 LNCS

SP - VII-VIII

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 - 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017

Y2 - 22 April 2017 through 29 April 2017

ER -

Preface

Other files and links

Cite this