Preface

Bernd Finkbeiner; Laura Kovács; Hadar Frenkel; Michael Rawson; Dirk Beyer

Preface

Bernd Finkbeiner
, Laura Kovács
, Hadar Frenkel
, Michael Rawson
, Dirk Beyer

Department of Computer Science and Artificial Intelligence

Helmholtz Center for Information Security
TU Wien

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	14572 LNCS
State	Published - 2024
Event	30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 - Luxembourg City, Luxembourg Duration: 6 Apr 2024 → 11 Apr 2024

Cite this

@article{127c87cc68de469a9061ba72908eacbe,

title = "Preface",

author = "Bernd Finkbeiner and Laura Kov{\'a}cs and Hadar Frenkel and Michael Rawson and Dirk Beyer",

year = "2024",

language = "אנגלית",

volume = "14572 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",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 ; Conference date: 06-04-2024 Through 11-04-2024",

}

TY - JOUR

T1 - Preface

AU - Finkbeiner, Bernd

AU - Kovács, Laura

AU - Frenkel, Hadar

AU - Rawson, Michael

AU - Beyer, Dirk

PY - 2024

Y1 - 2024

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

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:85192251039

SN - 0302-9743

VL - 14572 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 - 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024

Y2 - 6 April 2024 through 11 April 2024

ER -

Preface

Other files and links

Cite this