Vol-1602⫷ Vol-1603 ⫸Vol-1604
urn:nbn:de:0074-1603-0


Vol-1603/10000010⫷Vol-1603/10000018⫸Vol-1603/10000027
Vanessa Stricker

Enabling Compositional Deadlock Checking of Component Compositions with Partial Bindings