Prototyping an Inconsistency Checking Tool for Software Process Models.

Jin-Kao Hao, Franois Trousset, Jean-Jacques Chabrier

Browse the full SEKE paper archive.