Preface

Deepak D’Souza; Akash Lal; Kim Guldstrand Larsen

Preface

Deepak D’Souza^*, Akash Lal, Kim Guldstrand Larsen

^*Kontaktforfatter

Publikation: Bidrag til tidsskrift › Leder › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	8931
ISSN	0302-9743
Status	Udgivet - 2015
Begivenhed	16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 - Mumbai, Indien Varighed: 12 jan. 2015 → 14 jan. 2015

Konference

Konference	16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015
Land/Område	Indien
By	Mumbai
Periode	12/01/2015 → 14/01/2015
Sponsor	Microsoft Research, National Science Foundation

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@article{34a744227708445ab8bfd448f969b953,

title = "Preface",

author = "Deepak D{\textquoteright}Souza and Akash Lal and Larsen, {Kim Guldstrand}",

note = "Copyright: Copyright 2014 Elsevier B.V., All rights reserved.; 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 ; Conference date: 12-01-2015 Through 14-01-2015",

year = "2015",

language = "English",

volume = "8931",

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

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - Preface

AU - D’Souza, Deepak

AU - Lal, Akash

AU - Larsen, Kim Guldstrand

PY - 2015

Y1 - 2015

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

M3 - Editorial

AN - SCOPUS:84917709339

SN - 0302-9743

VL - 8931

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 - 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015

Y2 - 12 January 2015 through 14 January 2015

ER -