Reactive, generative, and stratified models of probabilistic processes

1990

Presented at the IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA

Additional Metadata
MSC	Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher	IEEE Comput. Soc. Press (Los Alamitos, CA)
Conference	IEEE Symposium on Logic in Computer Science
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Glabbeek, R., Smolka, S. A., Steffen, B.& Tofts, C. M. N. (1990). Reactive, generative, and stratified models of probabilistic processes. Fifthe Annual IEEE Symposium on Logic in Computer Science, 130–141.

Publication