Reactive, Generative, and Stratified Models of Probabilistic Processes
 |
 |
 |
apice = {ProbabilisticprocessesInco121},
author = {Vanglabbeek, Rob J. and Smolka, Scott A. and Steffen, Bernhard},
doi = {10.1006/inco.1995.1123},
issn = {0890-5401},
journal = {Information and Computation},
number = 1,
pages = {59--80},
title = {Reactive, Generative, and Stratified Models of Probabilistic Processes},
url = {http://www.sciencedirect.com/science/article/pii/S0890540185711236},
volume = 121,
year = 1995}