Vol-1372⫷ Vol-1373 ⫸Vol-1374
urn:nbn:de:0074-1373-0


Vol-1373/paper4⫷Vol-1373/paper5⫸Vol-1373/paper6
Diana-Elena GratieIon Petre

Full structural model refinement as type refinement of colored Petri nets