APA (7th ed.) Citation

Rosset, V., Souto, P. F., & Vasques, F. (2007). Formal verification of a group membership protocol using model checking.

Chicago Style (17th ed.) Citation

Rosset, Valério, Pedro F. Souto, and Francisco Vasques. Formal Verification of a Group Membership Protocol Using Model Checking. 2007.

MLA (8th ed.) Citation

Rosset, Valério, et al. Formal Verification of a Group Membership Protocol Using Model Checking. 2007.