DRBD

MaRDI QIDQ53613swMATHFDO

Official website https://www.tandfonline.com/doi/abs/10.1080/1206212X.2009.11441934

Cited in

(2)

• A framework for formal dynamic dependability analysis using HOL theorem proving
• BlockSim

This page was built for software: DRBD