Results (1)

  • A logic-based framework for verifying consensus algorithms
    Conference paper