Robustness in the Presence of Liveness

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, Barbara Jobstmann

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelComputer Aided Verification
Herausgeber (Verlag)Springer
Seiten410-424
Band6174
ISBN (Print)978-3-642-14294-9
DOIs
PublikationsstatusVeröffentlicht - 2010
Veranstaltung22nd International Conference on Computer Aided Verification (CAV 2010) - Edinburgh, Großbritannien / Vereinigtes Königreich
Dauer: 15 Jul 201019 Jul 2010

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

Konferenz22nd International Conference on Computer Aided Verification (CAV 2010)
LandGroßbritannien / Vereinigtes Königreich
OrtEdinburgh
Zeitraum15/07/1019/07/10

Dieses zitieren