Nicolas Halbwachs, Doron Peled

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)v-vii
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - 1999
Externally publishedYes
Event11th International Conference on Computer Aided Verification, CAV 1999 - Trento, Italy
Duration: 6 Jul 199910 Jul 1999

Cite this