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 norma ChicagoRosset, Valério, Pedro F. Souto, and Francisco Vasques. Model-checking a Group Membership Protocol for TDMA-based Networks with Both Static and Dynamic Scheduling. 2006.
Citação norma MLARosset, 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.