Modeling a Fault-Tolerant Distributed System

Hlavička, J., Racek, S., Herout, P.

HLAVIČKA, J., S. RACEK, and P. HEROUT. Modeling a Fault-Tolerant Distributed System. In: EUROCON'2001 Volume 2. EUROCON´2001, Bratislava, 2001-07-04/2001-07-07. Bratislava: IEEE, 2001. p. 544-547. ISBN 0-7803-6490-2.