@inproceedings{DHP05,
AUTHOR = {Dalinger, I. and Hillebrand, M. and Paul, W.},
TITLE = {On the Verification of Memory Management Mechanisms},
YEAR = {2005},
URL = {http:///publikationen/DHP05.pdf},
SERIES = {LNCS},
BOOKTITLE = {CHARME 2005},
PUBLISHER = {Springer},
EDITOR = {Borrione, D. and Paul, W.},
EE = {http://dx.doi.org/10.1007/11560548_23},
}