Preface

Fritz Henglein; Sharon Shoham; Yakir Vizel; Klaus von Gleissenthall; Troels Henriksen

Preface

Fritz Henglein, Sharon Shoham, Yakir Vizel, Klaus von Gleissenthall, Troels Henriksen

Tel Aviv University, Technion - Israel Institute of Technology

نتاج البحث: نشر في مجلة › كلمة العدد

اللغة الأصلية	الإنجليزيّة
الصفحات (من إلى)	v-vii
دورية	Lecture Notes in Computer Science
مستوى الصوت	12597 LNCS
حالة النشر	نُشِر - 2021
الحدث	22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 - Copenhagen, الدنمارك المدة: ١٧ يناير ٢٠٢١ → ١٩ يناير ٢٠٢١

All Science Journal Classification (ASJC) codes

!!Theoretical Computer Science
!!Computer Science (all)

الملفات والروابط الأخرى

Link to publication in Scopus

قم بذكر هذا

@article{cab2478647f14c7786905ff21af863fb,

title = "Preface",

author = "Fritz Henglein and Sharon Shoham and Yakir Vizel and {von Gleissenthall}, Klaus and Troels Henriksen",

year = "2021",

language = "الإنجليزيّة",

volume = "12597 LNCS",

pages = "v--vii",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 ; Conference date: 17-01-2021 Through 19-01-2021",

}

TY - JOUR

T1 - Preface

AU - Henglein, Fritz

AU - Shoham, Sharon

AU - Vizel, Yakir

AU - von Gleissenthall, Klaus

AU - Henriksen, Troels

PY - 2021

Y1 - 2021

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

M3 - كلمة العدد

SN - 0302-9743

VL - 12597 LNCS

SP - v-vii

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021

Y2 - 17 January 2021 through 19 January 2021

ER -