DRBD

swMATH37912MaRDI QIDQ53613FDOQ53613

Author name not available (Why is that?)

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