Pages that link to "Item:Q5717492"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5717492):
Displaying 7 items.
- Two size measures for timed languages (Q2908867) (← links)
- Untimed Language Preservation in Timed Systems (Q3088071) (← links)
- A Machine-Independent Characterization of Timed Languages (Q3167002) (← links)
- Removing All Silent Transitions from Timed Automata (Q3648827) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
- Developments in Language Theory (Q5473678) (← links)
- (Q5506370) (← links)