Preface

S. Akshay; Aina Niemetz; Sriram Sankaranarayanan; Martin Jonáš; Mathias Preiner; Yoni Zohar

Preface

S. Akshay
, Aina Niemetz
, Sriram Sankaranarayanan
, Martin Jonáš
, Mathias Preiner
, Yoni Zohar

Department of Computer Science and Artificial Intelligence

Research output: Contribution to journal › Editorial

Original language	English GB
Pages (from-to)	v-vii
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	15054 LNCS
State	Published - 2025
Event	22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024 - Kyoto, Japan Duration: 21 Oct 2024 → 25 Oct 2024

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Cite this

@article{64e82a2718234941bea04f51d5cc3024,

title = "Preface",

author = "S. Akshay and Aina Niemetz and Sriram Sankaranarayanan and Martin Jon{\'a}{\v s} and Mathias Preiner and Yoni Zohar",

year = "2025",

language = "الإنجليزيّة",

volume = "15054 LNCS",

pages = "v--vii",

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 = "22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024 ; Conference date: 21-10-2024 Through 25-10-2024",

}

TY - JOUR

T1 - Preface

AU - Akshay, S.

AU - Niemetz, Aina

AU - Sankaranarayanan, Sriram

AU - Jonáš, Martin

AU - Preiner, Mathias

AU - Zohar, Yoni

PY - 2025

Y1 - 2025

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

M3 - كلمة العدد

SN - 0302-9743

VL - 15054 LNCS

SP - v-vii

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 - 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024

Y2 - 21 October 2024 through 25 October 2024

ER -

Preface

ASJC Scopus subject areas

Other files and links

Cite this