author : Vanglabbeek
1
publication
Reactive, Generative, and Stratified Models of Probabilistic Processes (Information and Computation, 1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen Reactive, Generative, and Stratified Models of Probabilistic Processes (Information and Computation, 1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen