Pages that link to "Item:Q1194330"
From MaRDI portal
The following pages link to A compositional axiomatization of statecharts (Q1194330):
Displayed 4 items.
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)