APA (7th ed.) Citation

Orava, F. (1994). On the formal analysis of telecommunication protocols. Department of Computer Systems, Uppsala University.

Chicago Style (17th ed.) Citation

Orava, Fredrik. On the Formal Analysis of Telecommunication Protocols. Uppsala: Department of Computer Systems, Uppsala University, 1994.

MLA (8th ed.) Citation

Orava, Fredrik. On the Formal Analysis of Telecommunication Protocols. Department of Computer Systems, Uppsala University, 1994.

Warning: These citations may not always be 100% accurate.