Pedro F. Souto

	2007
3		Ricardo Moraes, Paulo Portugal, Stefano Vitturi, Francisco Vasques, Pedro F. Souto: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture. LCN 2007: 107-116
2		Valério Rosset, Pedro F. Souto, Francisco Vasques: Formal Verification of a Group Membership Protocol Using Model Checking. OTM Conferences (1) 2007: 471-488
1		Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques: A Reliability Evaluation of a Group Membership Protocol. SAFECOMP 2007: 397-410

Coauthor Index

1	Ricardo Moraes	[3]
2	Paulo Portugal	[1] [3]
3	Valério Rosset	[1] [2]
4	Francisco Vasques	[1] [2] [3]
5	Stefano Vitturi	[3]