SpringerLink (Online service), Peled, D. A., & Vardi, M. Y. (2002). Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (1st ed. 2002.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-36135-9
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Doron A. Peled, και Moshe Y. Vardi. Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. 1st ed. 2002. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-36135-9.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. 1st ed. 2002. Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-36135-9.
