Computer-Aided Verification of Software Process Model Properties

Alfred Brckers, Volker Gruhn

Browse the full CaiSE paper archive.