Pages that link to "Item:Q2452756"
From MaRDI portal
The following pages link to An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756):
Displaying 2 items.
The following pages link to An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756):
Displaying 2 items.