Pages that link to "Item:Q1763727"

The following pages link to A hierarchy of failures-based models: theory and application (Q1763727):

Displaying 2 items.

• On using data abstractions for model checking refinements (Q878378) (← links)
• Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)