APA Citation

Hermanns, H., & Segala, R. (2002). Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.

Chicago Style Citation

Hermanns, Holger, and Roberto Segala. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.

MLA Citation

Hermanns, Holger, and Roberto Segala. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.