,

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

, , и .
SAC, стр. 339-346. ACM, (2008)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии