Pages that link to "Item:Q3393383"

The following pages link to Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383):

Displaying 2 items.

• Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
• Uniform strategies, rational relations and jumping automata (Q2346407) (← links)