%0 Conference Paper %1 conf/qest/ClothH05 %A Cloth, Lucia %A Haverkort, Boudewijn R. %B QEST %D 2005 %I IEEE Computer Society %K %P 145-154 %T Model Checking for Survivability. %U http://dblp.uni-trier.de/db/conf/qest/qest2005.html#ClothH05 %@ 0-7695-2427-3

@inproceedings{conf/qest/ClothH05, added-at = {2023-12-13T01:34:51.000+0100}, author = {Cloth, Lucia and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/22b9cc8026380ba39094b4945240c4583/admin}, booktitle = {QEST}, crossref = {conf/qest/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2005.21}, interhash = {738efc847147c616b0c721772e34ffcb}, intrahash = {2b9cc8026380ba39094b4945240c4583}, isbn = {0-7695-2427-3}, keywords = {}, pages = {145-154}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:34:52.000+0100}, title = {Model Checking for Survivability.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2005.html#ClothH05}, year = 2005 }