dblp.uni-trier.dewww.uni-trier.de

Valério Rosset

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEValério Rosset, Pedro F. Souto, Francisco Vasques: Formal Verification of a Group Membership Protocol Using Model Checking. OTM Conferences (1) 2007: 471-488
2EEValério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques: A Reliability Evaluation of a Group Membership Protocol. SAFECOMP 2007: 397-410
2005
1EEValé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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)