Model Checking of Replication Management
Date
Authors
Type
egyéb konferenciaközlemény
Publisher
LAAS-CNRS
Container Title
Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference
Gender
konferenciaközlemény