Anam Amjad TH-SOF-1449-Modeling and Verification of Complex Processes in Event-driven Process Chain (EPC) - Islamabad NUST College of EME 2017 Subjects--Topical Terms: MS-CSE-14 MSTHESIS Dewey Class. No.: 200 THE