Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.