The following pages link to (Q5394328):
Displaying 6 items.
- Transition systems without transitions (Q557786) (← links)
- Branch-well-structured transition systems and extensions (Q2165211) (← links)
- Transition systems (Q3832888) (← links)
- Statecharts, transition structures and transformations (Q5096749) (← links)
- (Q5367063) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)