V.: A Stochastic Process Algebra Based Modelling Tool (1995)

by H Hermanns, Mertsiotakis
Venue:In: Proc. of the 11th UK Performance Engineering Workshop for Computer and Telecommunication Systems