Pages that link to "Item:Q673117"
From MaRDI portal
The following pages link to A decomposition theorem for probabilistic transition systems (Q673117):
Displayed 4 items.
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- On coverings of products of uninitialized sequential quantum machines (Q2323760) (← links)
- Effective theories for circuits and automata (Q5264344) (← links)