The following pages link to (Q4264097):
Displaying 3 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)