The following pages link to (Q4247293):
Displaying 8 items.
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- Petri nets, traces, and local model checking (Q1391100) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- (Q3835444) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- (Q5224785) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
- A product version of dynamic linear time temporal logic (Q6044107) (← links)