Pages that link to "Item:Q682361"

The following pages link to A formal verification technique for behavioural model-to-model transformations (Q682361):

Displaying 2 items.

• To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
• (Q5119395) (← links)