Vol-1293⫷ Vol-1294 ⫸Vol-1295
urn:nbn:de:0074-1294-0


Vol-1294/paper18⫷Vol-1294/paper19⫸Vol-1294/paper20

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis