Preface

Constantin Enea; Ruzica Piskac

Preface

Constantin Enea
, Ruzica Piskac

Université Paris 7
Yale University

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11388 LNCS
état	Publié - 1 janv. 2019
Modification externe	Oui
Evénement	20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019 - Cascais, Portugal Durée: 13 janv. 2019 → 15 janv. 2019

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

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

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 -