%0 Journal Article %1 journals/tcs/PeledJ94 %A Peled, Doron A. %A Joseph, Mathai %D 1994 %J Theor. Comput. Sci. %K dblp %N 1&2 %P 99-125 %T A Compositional Framework for Fault Tolerance by Specification Transformation. %U http://dblp.uni-trier.de/db/journals/tcs/tcs128.html#PeledJ94 %V 128

@article{journals/tcs/PeledJ94, added-at = {2016-02-12T00:00:00.000+0100}, author = {Peled, Doron A. and Joseph, Mathai}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2932b757b0a6b572867ba9f94ae178885/dblp}, ee = {http://dx.doi.org/10.1016/0304-3975(94)90166-X}, interhash = {763e05386ecb7fc823a4896f4f7b882b}, intrahash = {932b757b0a6b572867ba9f94ae178885}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1&2}, pages = {99-125}, timestamp = {2016-02-13T10:32:01.000+0100}, title = {A Compositional Framework for Fault Tolerance by Specification Transformation.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs128.html#PeledJ94}, volume = 128, year = 1994 }