Skip to content

Enabling Compositional Deadlock Checking of Component Compositions with Partial Bindings.

Vanessa Stricker

VenueACaiSE
Year2016
ProceedingsCAiSE (Doctoral Consortium)

Browse the full CaiSE paper archive.