Hermanns, Holger,,Segala, Roberto,.Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /.Springer,,c2002..
Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /
