Functional Validation of Fault-Tolerant Asynchronous Algorithms

Hlavička, J., Racek, S., Šmrha, P.

HLAVIČKA, J., S. RACEK, and P. ŠMRHA. Functional Validation of Fault-Tolerant Asynchronous Algorithms. In: EUROMICRO'96 Beyond 2000: Hardware and Software Strategies. EUROMICRO'96, Praha, 1996-09-02/1996-09-05. Los Alamitos: IEEE Computer Society Press, 1996. p. 143-150. ISBN 0-8186-7487-3.