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

Results (12)

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