Christoph Kreitz
Automated Fast-Track Reconfiguration of Group Communication Systems
TACAS, 1999.
@inproceedings{TACAS-1999-Kreitz, author = "Christoph Kreitz", booktitle = "{Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/3-540-49059-0_8", isbn = "3-540-65703-7", pages = "104--118", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Automated Fast-Track Reconfiguration of Group Communication Systems}", volume = 1579, year = 1999, }