Escola Tècnica Superior d'Enginyeria Electrònica i Informàtica La Salle & Bertran i Salvans, M. (2010). Modelat i verificació de sistemes distribuïts: Guia d'estudi. Escola Tècnica Superior d'Enginyeria Electrònica i Informàtica La Salle.
Cita Chicago Style (17a ed.)Escola Tècnica Superior d'Enginyeria Electrònica i Informàtica La Salle y Miquel Bertran i Salvans. Modelat I Verificació De Sistemes Distribuïts: Guia D'estudi. Barcelona: Escola Tècnica Superior d'Enginyeria Electrònica i Informàtica La Salle, 2010.
Cita MLA (9a ed.)Escola Tècnica Superior d'Enginyeria Electrònica i Informàtica La Salle y Miquel Bertran i Salvans. Modelat I Verificació De Sistemes Distribuïts: Guia D'estudi. Escola Tècnica Superior d'Enginyeria Electrònica i Informàtica La Salle, 2010.
