J. Drawehn, O. Höß, and A. Weisbecker. volume XI of Leipziger Beiträge zur Informatik, Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, (September 2008)
J. Drawehn, O. Höß, and A. Weisbecker. volume XI of Leipziger Beiträge zur Informatik, Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, (September 2008)