Search Within

Pavol Černý

Cernyp
Email: Pavol.cerny_REMOVE_THIS_@ist.ac.at
Interests:
Refine Results
Affiliation
  1. IST Austria (18)
Peer reviewed
  1. yes (16)
  2. no (9)
Invited
  1. no (24)
  2. yes (1)

Results (25)

  • Quantitative abstraction refinement
    Conference paper
  • Interface Simulation Distances
    Conference paper