Preface

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

langue originale	Anglais
Pages (de - à)	v-vi
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13965 LNCS
état	Publié - 1 janv. 2023
Evénement	Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023 - Paris, France Durée: 17 juil. 2023 → 22 juil. 2023

Autres fichiers et liens

@article{1194ba225b86480289e056f9d8e74b7f,

title = "Preface",

author = "Constantin Enea and Akash Lal",

year = "2023",

month = jan,

day = "1",

language = "English",

volume = "13965 LNCS",

pages = "v--vi",

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

issn = "0302-9743",

note = "Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023 ; Conference date: 17-07-2023 Through 22-07-2023",

}

TY - JOUR

T1 - Preface

AU - Enea, Constantin

AU - Lal, Akash

PY - 2023/1/1

Y1 - 2023/1/1

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

M3 - Editorial

AN - SCOPUS:85172183107

SN - 0302-9743

VL - 13965 LNCS

SP - v-vi

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 - Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023

Y2 - 17 July 2023 through 22 July 2023

ER -