The following pages link to (Q3395959):
Displayed 8 items.
- Decentralised LTL monitoring (Q346789) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- A compositional automata-based semantics and preserving transformation rules for testing property patterns (Q493531) (← links)
- On regular temporal logics with past (Q977176) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Expressiveness of Hybrid Temporal Logic on Data Words (Q2825412) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)