Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Process Algebra and Probabilistic Methods. Performance Modelling and Verificatio

Ø 0.0
0 Bewertungen
68,59 €

Invited Paper. - Advances in Model Representations. - Contributed Papers. - Faster and Symbolic CTMC Model Checking. - Coin Lemmas with Random Variables. - An Efficient Kronecker Representation for PEPA Models.

Jetzt bei Ebay: