Search results for: B. Thalheim
Lecture Notes in Computer Science
Fundamenta Informaticae > 2013 > Vol. 124, nr 3 > 271--295
IET Software > 2010 > 4 > 2 > 105 - 118
Fundamenta Informaticae > 2004 > Vol. 59, nr 4 > 365--372
Theoretical Computer Science > 1998 > 190 > 2 > 151-166