Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre

Browse the full IFM paper archive.