| Original language | English (US) |
|---|---|
| Pages (from-to) | VI |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 6823 LNCS |
| State | Published - 2011 |
| Externally published | Yes |
| Event | 18th International SPIN Workshop on Model Checking of Software, SPIN 2011 - Snowbird, UT, United States Duration: Jul 14 2011 → Jul 15 2011 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science