Penggayaan APA

Bernardo, Marco., Bogliolo, Alessandro., SpringerLink (Online service). (). Formal Methods for Mobile Computing (1st ed. 2005.). : .

Chicago Style

Bernardo, Marco., Bogliolo, Alessandro., SpringerLink (Online service). Formal Methods for Mobile Computing. 1st ed. 2005. : , . E Book.

MLA Style

Bernardo, Marco., Bogliolo, Alessandro., SpringerLink (Online service). Formal Methods for Mobile Computing. 1st ed. 2005. : , . E Book.

Turabian Style

Bernardo, Marco., Bogliolo, Alessandro., SpringerLink (Online service). Formal Methods for Mobile Computing. 1st ed. 2005. : , . E Book.