No Abstract Available
Download Not Available

BibTex Entry

@phdthesis{Cai2005a,
 abstract = {},
 author = {Hao Cai},
 school = {University of York},
 title = {A Virtual Machine for High Integrity Real-Time Systems},
 year = {2005}
}