APA (7th ed.) Citation

Cavalli, A. R., & Schwabe, D. (1985). Temporal logic specification and verification of a virtual ring LAN access protocol. Univ. P. et M. Curie.

Chicago Style (17th ed.) Citation

Cavalli, Ana R., and Daniel Schwabe. Temporal Logic Specification and Verification of a Virtual Ring LAN Access Protocol. Paris: Univ. P. et M. Curie, 1985.

MLA (9th ed.) Citation

Cavalli, Ana R., and Daniel Schwabe. Temporal Logic Specification and Verification of a Virtual Ring LAN Access Protocol. Univ. P. et M. Curie, 1985.