Reactive, Generative and Stratified Models of Probabilistic Processes (1990)

Cached

Download Links

by Rob J. Van Glabbeek , Scott A. Smolka , Bernhard Steffen
Venue:Information and Computation
Citations:153 - 7 self