Preface

Constantin Enea; Ruzica Piskac

Preface

Constantin Enea
, Ruzica Piskac

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	11388 LNCS
Publication status	Published - 1 Jan 2019
Externally published	Yes
Event	20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019 - Cascais, Portugal Duration: 13 Jan 2019 → 15 Jan 2019

Cite this

@article{6eb569139b944aa68b9202c56e4cc16c,

title = "Preface",

author = "Constantin Enea and Ruzica Piskac",

year = "2019",

month = jan,

day = "1",

language = "English",

volume = "11388 LNCS",

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

issn = "0302-9743",

note = "20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019 ; Conference date: 13-01-2019 Through 15-01-2019",

}

TY - JOUR

T1 - Preface

AU - Enea, Constantin

AU - Piskac, Ruzica

PY - 2019/1/1

Y1 - 2019/1/1

M3 - Editorial

AN - SCOPUS:85061085974

SN - 0302-9743

VL - 11388 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 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019

Y2 - 13 January 2019 through 15 January 2019

ER -