Pages that link to "Item:Q2810972"
From MaRDI portal
The following pages link to Refinement sensitive formal semantics of state machines with persistent choice (Q2810972):
Displaying 1 item.
The following pages link to Refinement sensitive formal semantics of state machines with persistent choice (Q2810972):
Displaying 1 item.