%0 Conference Paper %1 conf/scopes/JhumkaSH03 %A Jhumka, Arshad %A Suri, Neeraj %A Hiller, Martin %B SCOPES %D 2003 %E Krall, Andreas %I Springer %K %P 182-197 %T A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. %U http://dblp.uni-trier.de/db/conf/scopes/scopes2003.html#JhumkaSH03 %V 2826 %@ 3-540-20145-9

@inproceedings{conf/scopes/JhumkaSH03, added-at = {2023-12-12T21:02:17.000+0100}, author = {Jhumka, Arshad and Suri, Neeraj and Hiller, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2d7b5615f217c85a18c9e33b636e69721/admin}, booktitle = {SCOPES}, crossref = {conf/scopes/2003}, editor = {Krall, Andreas}, ee = {https://doi.org/10.1007/978-3-540-39920-9_13}, interhash = {3825fa01b95e85f8e46f2039fedee8e5}, intrahash = {d7b5615f217c85a18c9e33b636e69721}, isbn = {3-540-20145-9}, keywords = {}, pages = {182-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:02:17.000+0100}, title = {A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.}, url = {http://dblp.uni-trier.de/db/conf/scopes/scopes2003.html#JhumkaSH03}, volume = 2826, year = 2003 }