Orthopedic & Muscular System: Current Research
Open Access
ISSN: 2161-0533
ISSN: 2161-0533
Muhammad Akhtar
Islamia University,Pakisthan.
Dr. Muhammad Akhtar is currently working with Islamia University,Pakisthan. He has various publications and multiple journals.
Formal verification, Model checking, Timed-automata, Multi-Agen