Preface

Sanjai Rayadurgam; Oksana Tkachuk

doi:10.1007/978-3-319-40648-0

Preface

Sanjai Rayadurgam
, Oksana Tkachuk

University of Minnesota Twin Cities

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9690
DOIs	https://doi.org/10.1007/978-3-319-40648-0
State	Published - Jan 1 2016
Event	8th International Symposium on NASA Formal Methods, NFM 2016 - Minneapolis, United States Duration: Jun 7 2016 → Jun 9 2016

Publisher link

10.1007/978-3-319-40648-0

Find It

Find It at U of M Libraries

Cite this

@article{a45fa5b97deb4a2d9d46a10483bdc07b,

title = "Preface",

author = "Sanjai Rayadurgam and Oksana Tkachuk",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-40648-0",

language = "English (US)",

volume = "9690",

pages = "V--VI",

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 = "8th International Symposium on NASA Formal Methods, NFM 2016 ; Conference date: 07-06-2016 Through 09-06-2016",

}

TY - JOUR

T1 - Preface

AU - Rayadurgam, Sanjai

AU - Tkachuk, Oksana

PY - 2016/1/1

Y1 - 2016/1/1

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

UR - https://www.scopus.com/pages/publications/84976609246#tab=citedBy

U2 - 10.1007/978-3-319-40648-0

DO - 10.1007/978-3-319-40648-0

M3 - Editorial

AN - SCOPUS:84976609246

SN - 0302-9743

VL - 9690

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 - 8th International Symposium on NASA Formal Methods, NFM 2016

Y2 - 7 June 2016 through 9 June 2016

ER -

Preface

Publisher link

Find It

Other files and links

Cite this