Pages that link to "Item:Q2909149"
From MaRDI portal
The following pages link to An inductive approach for modal transition system refinement (Q2909149):
Displaying 3 items.
The following pages link to An inductive approach for modal transition system refinement (Q2909149):
Displaying 3 items.