SpringerLink (Online service), Alfaro, L. d., & 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 (1st ed. 2001.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-44804-7
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Luca de Alfaro, και Stephen Gilmore. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2001. https://doi.org/10.1007/3-540-44804-7.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings. 1st ed. 2001. Springer Berlin Heidelberg : Imprint: Springer, 2001. https://doi.org/10.1007/3-540-44804-7.
