Pages that link to "Item:Q2729632"
From MaRDI portal
The following pages link to Characteristic Formulae for Timed Automata (Q2729632):
Displaying 5 items.
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← 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)
