Geppino Pucci. On the modelling and testing of recovery block structures. In Proceedings of the 20th International Symposium on Fault-Tolerant Computing, FTCS 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990. pages 356-363, IEEE Computer Society, 1990. [doi]
Abstract is missing.