Refine Results
Years
  1. 2014 (9)
Affiliation
  1. IST Austria (9)
Open access
  1. yes (repository) (9)
Peer reviewed
  1. yes (9)
Invited
  1. no (9)

Results (9)

  • Extensional crisis and proving identity
    Conference paper
  • A logic-based framework for verifying consensus algorithms
    Conference paper