Pages that link to "Item:Q1858428"
From MaRDI portal
The following pages link to Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428):
Displayed 1 item.