Formal Availability Analysis Using Theorem Proving.

Waqar Ahmad, Osman Hasan

Browse the full ICFEM paper archive.