Improving Non-Progress Cycle Checks
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-642-02652-2 KITopen-ID: 1000028137 |
| Erschienen in | Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Ed.: C. S. Pasareanu |
| Verlag | Springer Verlag |
| Seiten | 50-67 |
| Serie | Lecture Notes in Computer Science ; 5578 |