Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST
67,13 €
Topics covered include verification and model checking for probabilistic systems, semantics of probabilistic process calculi and stochastic process algebra. The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions.
Jetzt bei Ebay:
