KIT | KIT-Bibliothek | Impressum | Datenschutz

Improving Non-Progress Cycle Checks

Farago, D.; Schmitt, P. H.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 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, Berlin
Seiten 50-67
Serie Lecture Notes in Computer Science ; 5578
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page