Linas Laibinis, Elena Troubitsyna. Formal Development of Reactive Fault Tolerant Systems. In Nicolas Guelfi, Anthony Savidis, editors, Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers. Volume 3943 of Lecture Notes in Computer Science, pages 234-249, Springer, 2005. [doi]
@inproceedings{LaibinisT05,
title = {Formal Development of Reactive Fault Tolerant Systems},
author = {Linas Laibinis and Elena Troubitsyna},
year = {2005},
doi = {10.1007/11751113_17},
url = {http://dx.doi.org/10.1007/11751113_17},
researchr = {https://researchr.org/publication/LaibinisT05},
cites = {0},
citedby = {0},
pages = {234-249},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers},
editor = {Nicolas Guelfi and Anthony Savidis},
volume = {3943},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-34063-7},
}