The following pages link to (Q4934321):
Displayed 4 items.
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← links)
- Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
- Decidable properties for monadic abstract state machines (Q2498914) (← links)
- A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904) (← links)