Vol-988⫷ Vol-989 ⫸Vol-990
urn:nbn:de:0074-989-0


None⫷None⫸None
Dennis M. M. SchunselaarHajo A. ReijersWil M. P. van der AalstH. M. W. Verbeek

A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets