@mastersthesis{Alk05,
AUTHOR = {Alkassar, Eyad},
TITLE = {Constructing a Formal Framework for Modeling and Verifying a Real Operating System},
YEAR = {2005},
URL = {http:///publikationen/Alk05.pdf},
SCHOOL = {Universit├Ąt des Saarlandes},
}