Vol-3169⫷ Vol-3170 ⫸Vol-3171
urn:nbn:de:0074-3170-0


Vol-3170/paper1⫷Vol-3170/paper2⫸Vol-3170/paper3
Bart-Jan HilbrandsDebjyoti BeraBenny Akesson

Partial Specifications of Component-Based Systems using Petri Nets