Untimed Language Preservation in Timed Systems

DOI10.1007/978-3-642-22993-0_50zbMath1343.68148OpenAlexW1785651314MaRDI QIDQ3088071

Ocan Sankur

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_50

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (5)

Shrinking timed automata ⋮ Unnamed Item ⋮ Language Preservation Problems in Parametric Timed Automata ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Unnamed Item

This page was built for publication: Untimed Language Preservation in Timed Systems