| Original language | English |
|---|---|
| Title of host publication | 18th International Workshop on Model Checking Software (SPIN) |
| Editors | A Groce, M Musuvathi |
| Place of Publication | Berlin |
| Publisher | Springer |
| Pages | 177-182 |
| Number of pages | 6 |
| ISBN (Print) | 987-3-642-22305-1 |
| Publication status | Published - 2011 |
| Event | SPIN 2011 - Berlin Duration: 14 Jul 2011 → 15 Jul 2011 |
Publication series
| Name | |
|---|---|
| Publisher | Springer Verlag |
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 6823 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | SPIN 2011 |
|---|---|
| Period | 14/07/11 → 15/07/11 |
Keywords
- CWTS JFIS < 0.75