Paper Info
Title
Model-Checking Cloud Systems Using BigMC.
Year
Venue
DocType
2014
VECoS
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Hamza Sahli1102.93
Faiza Belala24620.89
Chafia Bouanaka3299.30