Valério Rosset

	2007
3		Valério Rosset, Pedro F. Souto, Francisco Vasques: Formal Verification of a Group Membership Protocol Using Model Checking. OTM Conferences (1) 2007: 471-488
2		Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques: A Reliability Evaluation of a Group Membership Protocol. SAFECOMP 2007: 397-410
	2005
1		Valério Rosset, Cleber Vinicios Filippin, Carla Merkle Westphall: A DRM Architecture to Distribute and Protect Digital Contents Using Digital Licenses. AICT/SAPIR/ELETE 2005: 422-427

Coauthor Index

1	Cleber Vinicios Filippin	[1]
2	Paulo Portugal	[2]
3	Pedro F. Souto	[2] [3]
4	Francisco Vasques	[2] [3]
5	Carla Merkle Westphall	[1]

Colors in the list of coauthors