%0 Conference Paper %1 conf/formats/GartnerJ04 %A Gärtner, Felix C. %A Jhumka, Arshad %B FORMATS/FTRTFT %D 2004 %E Lakhnech, Yassine %E Yovine, Sergio %I Springer %K dblp %P 183-198 %T Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. %U http://dblp.uni-trier.de/db/conf/formats/formats2004.html#GartnerJ04 %V 3253 %@ 3-540-23167-6

@inproceedings{conf/formats/GartnerJ04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Gärtner, Felix C. and Jhumka, Arshad}, biburl = {https://www.bibsonomy.org/bibtex/2a12eafbb3e7696263aa625da0b610ef6/dblp}, booktitle = {FORMATS/FTRTFT}, crossref = {conf/formats/2004}, editor = {Lakhnech, Yassine and Yovine, Sergio}, ee = {https://doi.org/10.1007/978-3-540-30206-3_14}, interhash = {198de80670172e0daa8e11f7fa5cb2b0}, intrahash = {a12eafbb3e7696263aa625da0b610ef6}, isbn = {3-540-23167-6}, keywords = {dblp}, pages = {183-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:39.000+0200}, title = {Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2004.html#GartnerJ04}, volume = 3253, year = 2004 }