@inproceedings{BBB+09,
title = {Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset },
author = {Basu, Ananda and Bonakdarpour, Borzoo and Bozga, Marius and Sifakis, Joseph},
year = {2009},
booktitle = {Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings},
pages = {174-175},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5805},
team = {DCS, RSD},
}
