@mastersthesis{Tv03,
AUTHOR = {Tverdyshev, Sergey},
TITLE = {Documentation and Modelling of the IPC Mechanism in the L4 Kernel},
YEAR = {2003},
URL = {http:///publikationen/Tv03.pdf},
SCHOOL = {Saarland University},
}