Process Algebra and Probabilistic Methods - Performance Modeling and Verification: Proc./Second Joint Intern. Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 2002

Б2.15.

Process Algebra and Probabilistic Methods - Performance Modeling and Verification: Proc./Second Joint Intern. Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 2002Ed. by Hermanns H., Segala R..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2399.-215 p.-(Lecture Notes in Computer Science).