| Original language | English |
|---|---|
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 5779 LNCS |
| State | Published - 2009 |
| Event | 9th International Workshop on Runtime Verification, RV 2009 - Grenoble, France Duration: 26 Jun 2009 → 28 Jun 2009 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Saddek Bensalem, Doron Peled
Research output: Contribution to journal › Editorial