Pages that link to "Item:Q5899090"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899090):
Displaying 7 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
