Inproceedings,

A framework for performance evaluation and functional verification in stochastic process algebras.

, , and .
SAC, page 339-346. ACM, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews