Results (8)

  • Edit distance for timed automata
    Conference paper