A decomposition theorem for probabilistic transition systems
Authors:
Oded Maler
Affiliations:
-
Venue:
Theoretical Computer Science
Year:
1995
Citing
0
Cited
1
Categorical foundations for randomly timed automata
Theoretical Computer Science
Quantified Score
Hi-index
5.23
Visualization
Abstract