cheng chengMARWAH ABDULLAH A ALHAZMI2022-05-192022-05-1922820https://drepo.sdl.edu.sa/handle/20.500.14154/13522Complex Event Processing And Temporal LogicThesis