Cita APA (7a ed.)

SpringerLink (Online service), Bravetti, M., Kloul, L., & Zavattaro, G. (2005). Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings (1st ed. 2005.). Springer Berlin Heidelberg : Imprint: Springer.

Cita Chicago Style (17a ed.)

SpringerLink (Online service), Mario Bravetti, Leila Kloul, y Gianluigi Zavattaro. Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. 1st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2005.

Cita MLA (8a ed.)

SpringerLink (Online service), et al. Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. 1st ed. 2005. Springer Berlin Heidelberg : Imprint: Springer, 2005.

Precaución: Estas citas no son 100% exactas.