Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook. Formal Development of Mechanisms for Tolerating Transient Faults. In Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, pages 189-209, Springer, 2006. [doi]
@inproceedings{IlicTLS06,
title = {Formal Development of Mechanisms for Tolerating Transient Faults},
author = {Dubravka Ilic and Elena Troubitsyna and Linas Laibinis and Colin F. Snook},
year = {2006},
doi = {10.1007/11916246_10},
url = {http://dx.doi.org/10.1007/11916246_10},
researchr = {https://researchr.org/publication/IlicTLS06},
cites = {0},
citedby = {0},
pages = {189-209},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]},
editor = {Michael J. Butler and Cliff B. Jones and Alexander Romanovsky and Elena Troubitsyna},
volume = {4157},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-48265-2},
}