Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Holger Hermanns, Roberto Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings. Volume 2399 of Lecture Notes in Computer Science, Springer, 2002.

Conference: papm2002

This author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Roberto Segala' in Google

runs on WebDSL