Pages that link to "Item:Q3511240"

The following pages link to Model-Checking Timed ATL for Durational Concurrent Game Structures (Q3511240):

Displaying 3 items.

• Model checking MASL specification of distributed real-time systems (Q946007) (← links)
• Measuring Permissivity in Finite Games (Q3184674) (← links)
• The tail-recursive fragment of timed recursive CTL (Q6077845) (← links)