Vol-3487⫷ Vol-3488 ⫸Vol-3489
urn:nbn:de:0074-3488-0


Vol-3488/xpreface⫷Vol-3488/paper01⫸Vol-3488/paper02
Andrea AltaruiMarino MiculanMatteo Paier

DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions