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

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
Pages (de - à)	VII-IX
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10805 LNCS
état	Publié - 1 janv. 2018
Modification externe	Oui
Evénement	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, Grcce Durée: 14 avr. 2018 → 20 avr. 2018

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

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