Pages that link to "Item:Q2729632"
From MaRDI portal
The following pages link to Characteristic formulae for timed autoamta (Q2729632):
Displaying 8 items.
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Axiomatising timed automata (Q1608937) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- On characteristic formulae for event-recording automata (Q2842241) (← links)
- Non-interference control synthesis for security timed automata (Q2864391) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)