APA Citation

Alfaro, L., & Gilmore, S. (2001). Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.

Chicago Style Citation

Alfaro, Luca, and Stephen Gilmore. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001.

MLA Citation

Alfaro, Luca, and Stephen Gilmore. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001.