Search results for: Christian B. Suttner
Lecture Notes in Computer Science > Parallel Computer Architectures > Performance of Parallel Systems > 49-65
Journal of Automated Reasoning > 1999 > 22 > 4 > 397-431
Journal of Automated Reasoning > 1997 > 18 > 2 > 253-258