Preface

Cyrille Artho; Axel Legay; Doron Peled

Preface

Cyrille Artho, Axel Legay, Doron Peled

CS@BIU

Research output: Contribution to journal › Editorial

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9938 LNCS
State	Published - 2016
Event	14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016 - Chiba, Japan Duration: 17 Oct 2016 → 20 Oct 2016

Cite this

@article{defaad67a2bb4dee99fb2f58008d6a53,

title = "Preface",

author = "Cyrille Artho and Axel Legay and Doron Peled",

year = "2016",

language = "אנגלית",

volume = "9938 LNCS",

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

issn = "0302-9743",

publisher = "Springer Verlag",

note = "14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016 ; Conference date: 17-10-2016 Through 20-10-2016",

}

TY - JOUR

T1 - Preface

AU - Artho, Cyrille

AU - Legay, Axel

AU - Peled, Doron

PY - 2016

Y1 - 2016

UR - http://www.scopus.com/inward/record.url?scp=84992530821&partnerID=8YFLogxK

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

AN - SCOPUS:84992530821

SN - 0302-9743

VL - 9938 LNCS

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 - 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016

Y2 - 17 October 2016 through 20 October 2016

ER -

Preface

Other files and links

Cite this