Pages that link to "Item:Q750133"
From MaRDI portal
The following pages link to Introduction to design choices in the semantics of Statecharts (Q750133):
Displaying 5 items.
- Reconciling statechart semantics (Q1001804) (← links)
- A compositional axiomatization of statecharts (Q1194330) (← links)
- On disjunction of literals in triggers of statecharts transitions. (Q1853160) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
