Process algebra and probabilistic methods：performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Corporate Authors: PAPM-PROBMIV 2001 (2001 Aachen, Germany)
Group Author: De Alfaro Luca, 1966-; Gilmore Stephen, 1962-
Published: Springer-Verlag,
Publication Dates: c2001.
Call Number: TP301-532/P963/2001