Process Algebra and Probabilistic Methods. Performance Modelling and Verificatio
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: