Rosset, V., Souto, P. F., & Vasques, F. (2006). Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling.
Citação do estilo Chicago (17ª ed.)Rosset, Valério, Pedro F. Souto, e Francisco Vasques. Model-checking a Group Membership Protocol for TDMA-based Networks with Both Static and Dynamic Scheduling. 2006.
Citação MLA (8ª ed.)Rosset, Valério, et al. Model-checking a Group Membership Protocol for TDMA-based Networks with Both Static and Dynamic Scheduling. 2006.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.