Publication:3396573
From MaRDI portal
zbMath1169.68467MaRDI QIDQ3396573
Publication date: 19 September 2009
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Folk theorems on the determinization and minimization of timed automata, Synthesis of Non-Interferent Timed Systems