Amjad, Anam Modeling and Verification of Complex Processes in Event-driven Process Chain (EPC) / Anam Amjad - Islamabad : CEME - NUST, 2017. - 103 p. ; 30cm. Subjects--Topical Terms: Software Engineering-MS-Thesis Dewey Class. No.: 004