TY  - BOOK
AU  - Fauzia Ehsan
TI  - MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor:  Ehsan Fauzia
U1  - 621.001 FAU 
PY  - 2017///
CY  - Islamabad
PB  - RCMS NUST
KW  - Computational Science and Engineering
ER  -