Pages that link to "Item:Q557828"

The following pages link to On the completeness and decidability of duration calculus with iteration (Q557828):

Displaying 2 items.

• A generalization of Arrow's lemma on extending a binary relation (Q2330278) (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)