Pages that link to "Item:Q1182129"

The following pages link to Gioia Ristori (Q1182129):

Displaying 6 items.

• Compositionality and bisimulation: A negative result (Q1182130) (← links)
• Model checking for action-based logics (Q1326587) (← links)
• Assisting requirement formalization by means of natural language translation (Q1329090) (← links)
• (Q4381717) (← links)
• An action-based framework for veryfying logical and behavioural properties of concurrent systems (Q4697197) (← links)
• (Q4952318) (← links)