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

Results (10)

  • Compositional specifications for ioco testing
    Conference paper
  • Model measuring for hybrid systems
    Conference paper
  • Extensional crisis and proving identity
    Conference paper
  • A logic-based framework for verifying consensus algorithms
    Conference paper