Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi. Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. In Nancy A. Lynch, Alexander A. Shvartsman, editors, Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings. Volume 6343 of Lecture Notes in Computer Science, pages 392-394, Springer, 2010. [doi]
@inproceedings{AlbertiGPRR10,
title = {Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study},
author = {Francesco Alberti and Silvio Ghilardi and Elena Pagani and Silvio Ranise and Gian Paolo Rossi},
year = {2010},
doi = {10.1007/978-3-642-15763-9_36},
url = {http://dx.doi.org/10.1007/978-3-642-15763-9_36},
tags = {case study, design},
researchr = {https://researchr.org/publication/AlbertiGPRR10},
cites = {0},
citedby = {0},
pages = {392-394},
booktitle = {Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings},
editor = {Nancy A. Lynch and Alexander A. Shvartsman},
volume = {6343},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15762-2},
}