Refine Results
Years
  1. 2012 (22)
Affiliation
  1. IST Austria (20)
Peer reviewed
  1. no (12)
  2. yes (10)
Invited
  1. no (22)

Results (22)

  • Interface Simulation Distances
    Conference paper
  • Robustness of structurally equivalent concurrent parity games
    Conference paper