Preface

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v-vi
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7976 LNCS
State	Published - 2013
Event	20th International Symposium on Model Checking Software, SPIN 2013 - Stony Brook, NY, United States Duration: Jul 8 2013 → Jul 9 2013

Cite this

@article{5f3130683299402b940c3639b81aeafc,

title = "Preface",

author = "Ezio Bartocci and Ramakrishnan, \{C. R.\}",

year = "2013",

language = "English",

volume = "7976 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 = "20th International Symposium on Model Checking Software, SPIN 2013 ; Conference date: 08-07-2013 Through 09-07-2013",

}

TY - JOUR

T1 - Preface

AU - Bartocci, Ezio

AU - Ramakrishnan, C. R.

PY - 2013

Y1 - 2013

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

M3 - Editorial

AN - SCOPUS:84884913516

SN - 0302-9743

VL - 7976 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 - 20th International Symposium on Model Checking Software, SPIN 2013

Y2 - 8 July 2013 through 9 July 2013

ER -