Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Francesco Logozzo, Doron A. Peled, Lenore D. Zuck

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)vi
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4905 LNCS
StatePublished - 2008
Event9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2008 - San Francisco, CA, United States
Duration: 7 Jan 20089 Jan 2008

Cite this