Media type: E-Book; Thesis Title: Symbolic semantics and verification of stochastic process algebras Other titles: Symbolische Semantik und Verifikation stochastischer Prozessalgebren Contributor: Kuntz, Matthias [Verfasser] Extent: Online-Ressource Language: English Identifier: Keywords: Binäres Entscheidungsdiagramm ; Model checking ; Temporale Logik ; Prozessalgebra ; Datenverarbeitungssystem / Leistungsbewertung ; Formale Semantik ; Hochschulschrift Origination: University thesis: Erlangen, Nürnberg, Univ., Diss., 2006 Footnote: Access State: Open Access