@book{331957,
	author = {Fauzia Ehsan},
	title = {MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor},
	publisher = {RCMS NUST},
	year = {C,2017.},
	address = {Islamabad}
}