Reaktive, generative and stratified models of probabilistic processes

(1990) [Beitrag zu einem Tagungsband]

Proceedings 5. Annual Sympos. on Logic in Comput. Sci. 90. 1990
Seite(n): 130-142

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

van Glabbeck, R.
Smolka, S.
Steffen, B.
Torts, C.

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-190868