Original language | English (US) |
---|---|
Pages (from-to) | 408-412 |
Number of pages | 5 |
Journal | Lecture Notes in Computer Science |
Volume | 3576 |
DOIs | |
State | Published - 2005 |
Event | 17th International Conference on Computer Aided Verification, CAV 2005 - Edinburgh, Scotland, United Kingdom Duration: Jul 6 2005 → Jul 10 2005 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science