Pages that link to "Item:Q6162110"

The following pages link to Action refinement and property inheritance in systems of sequential agents (Q6162110):

Displaying 2 items.

• Towards the hierarchical verification of reactive systems (Q596025) (← links)
• A tableau proof system for a mazurkiewicz trace logic with fixpoints (Q4610334) (← links)