Elena Troubitsyna. Developing Fault Tolerant Distributed Systems by Refinement. In Jon Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki, editors, The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. pages 178-183, IEEE Computer Society, 2010. [doi]
@inproceedings{Troubitsyna10,
title = {Developing Fault Tolerant Distributed Systems by Refinement},
author = {Elena Troubitsyna},
year = {2010},
doi = {10.1109/ICSEA.2010.34},
url = {http://dx.doi.org/10.1109/ICSEA.2010.34},
tags = {refinement},
researchr = {https://researchr.org/publication/Troubitsyna10},
cites = {0},
citedby = {0},
pages = {178-183},
booktitle = {The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France},
editor = {Jon Hall and Hermann Kaindl and Luigi Lavazza and Georg Buchgeher and Osamu Takaki},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4144-0},
}