Logic based extensions of stochastic process algebras for high-level performance modeling and evaluation - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ulrich Klehmet. Logic based extensions of stochastic process algebras for high-level performance modeling and evaluation. In Rik Van Landeghem, editor, 14:::th::: European Simulation Multiconference - Simulation and Modelling: Enablers for a Better Quality of Life, May 23-26, 2000, Ghent, Belgium. pages 97-101, SCS Europe, 2000.

Abstract is missing.

runs on WebDSL