APA (7th ed.) Citation

Rosset, V., Souto, P. F., & Vasques, F. (2006). Model-checking a group membership protocol for TDMA-based networks with both static and dynamic scheduling.

Chicago Style (17th ed.) Citation

Rosset, 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.

MLA (8th ed.) Citation

Rosset, Valério, et al. Model-checking a Group Membership Protocol for TDMA-based Networks with Both Static and Dynamic Scheduling. 2006.