A Machine-Independent Characterization of Timed Languages
From MaRDI portal
Publication:3167002
DOI10.1007/978-3-642-31585-5_12zbMath1367.68159MaRDI QIDQ3167002
Mikołaj Bojańczyk, Sławomir Lasota
Publication date: 1 November 2012
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_12
Related Items
Unnamed Item, Unnamed Item, Fast computations on ordered nominal sets, Reachability relations of timed pushdown automata, Relating timed and register automata