Modeling And Verification of Real-Time And Hybrid Systems - Abdul Basit Ur Rahim, Muhammad; Dr. Fahim Arif (Islamabad: MCS - NUST, 2017)
Keywords: Ph. D Thesis