Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
CLOSER
/
Paper
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker.
Zakaria Benzadri
,
Chafia Bouanaka
,
Faza Belala
Venue
C
CLOSER
Year
2014
Proceedings
ESaaSA@CLOSER
DBLP record
conf/closer/BenzadriBB14 ↗
Browse the full
CLOSER paper archive
.