Dejan Desovski, Bojan Cukic. A Strategy for Verification of Decomposable SCR Models. In 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA. pages 11-18, IEEE Computer Society, 2006. [doi]
Abstract is missing.