Search results for: Holger Hermanns
Information Processing Letters > 2004 > 89 > 3 > 123-130
Information Processing Letters > 2003 > 87 > 6 > 309-315
Journal of Logic and Algebraic Programming > 2003 > 56 > 1-2 > 23-67
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 2 > 153-172
Theoretical Computer Science > 2002 > 274 > 1-2 > 43-87
Electronic Notes in Theoretical Computer Science > 1999 > 22 > Complete > 30-54