Robustness in the Presence of Liveness

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

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationComputer Aided Verification
PublisherSpringer
Pages410-424
Volume6174
ISBN (Print)978-3-642-14294-9
DOIs
Publication statusPublished - 2010
Event22nd International Conference on Computer Aided Verification (CAV 2010) - Edinburgh, United Kingdom
Duration: 15 Jul 201019 Jul 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

Conference22nd International Conference on Computer Aided Verification (CAV 2010)
Country/TerritoryUnited Kingdom
CityEdinburgh
Period15/07/1019/07/10

Cite this