# The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

> Research article (Theoretical Computer Science, 2019) · cited 13× · AI/ML

**Wikidata**: [openalex:W2973264323](https://www.wikidata.org/wiki/openalex:W2973264323)  
**Source**: https://4ort.xyz/entity/the-metric-linear-time-branching-time-spectrum-on-nondeterministic-probabilistic-processes