Published April 11, 2014 | Version v1
Conference paper Open

Edit distance for timed automata

  • 1. IST Austria, Klosterneuburg, Austria
  • 2. MPI, Kaiserslautern, Germany

Description

n/a

Files

fulltext.pdf

Files (336.4 kB)

Name Size Download all
md5:9143f37fc17df2fa8472b27e4d82eec8
336.4 kB Preview Download

Additional details

Funding

European Commission
GRAPH GAMES - Quantitative Graph Games: Theory and Applications 279307