The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
nondeterministic probabilistic processes
scientific article; zbMATH DE number 7191308
scientific article