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 contributionResearchpeer-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)
CountryUnited Kingdom
CityEdinburgh
Period15/07/1019/07/10

Cite this

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T., & Jobstmann, B. (2010). Robustness in the Presence of Liveness. In Computer Aided Verification (Vol. 6174, pp. 410-424). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-14295-6_36

Robustness in the Presence of Liveness. / Bloem, Roderick Paul; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas; Jobstmann, Barbara.

Computer Aided Verification. Vol. 6174 Springer, 2010. p. 410-424 (Lecture Notes in Computer Science).

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

Bloem, RP, Chatterjee, K, Greimel, K, Henzinger, T & Jobstmann, B 2010, Robustness in the Presence of Liveness. in Computer Aided Verification. vol. 6174, Lecture Notes in Computer Science, Springer, pp. 410-424, 22nd International Conference on Computer Aided Verification (CAV 2010), Edinburgh, United Kingdom, 15/07/10. https://doi.org/10.1007/978-3-642-14295-6_36
Bloem RP, Chatterjee K, Greimel K, Henzinger T, Jobstmann B. Robustness in the Presence of Liveness. In Computer Aided Verification. Vol. 6174. Springer. 2010. p. 410-424. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-14295-6_36
Bloem, Roderick Paul ; Chatterjee, Krishnendu ; Greimel, Karin ; Henzinger, Thomas ; Jobstmann, Barbara. / Robustness in the Presence of Liveness. Computer Aided Verification. Vol. 6174 Springer, 2010. pp. 410-424 (Lecture Notes in Computer Science).
@inproceedings{398cf60f1cdb4776a33cf46fc138addc,
title = "Robustness in the Presence of Liveness",
author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Karin Greimel and Thomas Henzinger and Barbara Jobstmann",
year = "2010",
doi = "http://dx.doi.org/10.1007/978-3-642-14295-6_36",
language = "English",
isbn = "978-3-642-14294-9",
volume = "6174",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "410--424",
booktitle = "Computer Aided Verification",

}

TY - GEN

T1 - Robustness in the Presence of Liveness

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Greimel, Karin

AU - Henzinger, Thomas

AU - Jobstmann, Barbara

PY - 2010

Y1 - 2010

U2 - http://dx.doi.org/10.1007/978-3-642-14295-6_36

DO - http://dx.doi.org/10.1007/978-3-642-14295-6_36

M3 - Conference contribution

SN - 978-3-642-14294-9

VL - 6174

T3 - Lecture Notes in Computer Science

SP - 410

EP - 424

BT - Computer Aided Verification

PB - Springer

ER -