Preface

Nicolas Halbwachs, Doron Peled

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v-vii
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1633
State	Published - 1999
Externally published	Yes
Event	11th International Conference on Computer Aided Verification, CAV 1999 - Trento, Italy Duration: 6 Jul 1999 → 10 Jul 1999

Cite this

@article{e0b595648e8743d8be59e70036c37b32,

title = "Preface",

author = "Nicolas Halbwachs and Doron Peled",

year = "1999",

language = "אנגלית",

volume = "1633",

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 Verlag",

note = "11th International Conference on Computer Aided Verification, CAV 1999 ; Conference date: 06-07-1999 Through 10-07-1999",

}

TY - JOUR

T1 - Preface

AU - Halbwachs, Nicolas

AU - Peled, Doron

PY - 1999

Y1 - 1999

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

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

AN - SCOPUS:84957054056

SN - 0302-9743

VL - 1633

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 - 11th International Conference on Computer Aided Verification, CAV 1999

Y2 - 6 July 1999 through 10 July 1999

ER -