Pages that link to "Item:Q4779589"

The following pages link to The Expressive Power of Temporal Logic of Actions (Q4779589):

Displaying 2 items.

• Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
• LTL over integer periodicity constraints (Q2503321) (← links)