APA-referens (7:e uppl.)

Fruth, M., & Kwiatkowska, M. (2011). Formal methods for the analysis of wireless network protocols.

Chicago-referens (17:e uppl.)

Fruth, M., och MZ Kwiatkowska. Formal Methods for the Analysis of Wireless Network Protocols. 2011.

MLA-referens (9:e uppl.)

Fruth, M., och MZ Kwiatkowska. Formal Methods for the Analysis of Wireless Network Protocols. 2011.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.