Search results for: Hans Hüttel
Lecture Notes in Computer Science > CONCUR '92 > 138-147
Lecture Notes in Computer Science > Coordination Models and Languages > Semantic Models and Calculi > 123-142
Lecture Notes in Computer Science > SOFSEM 2005: Theory and Practice of Computer Science > Full Contributed Papers > 178-187
Lecture Notes in Computer Science > Euro-Par’99 Parallel Processing > Topic 17 > 1353-1368
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 75-89
Electronic Notes in Theoretical Computer Science > 2009 > 242 > 3 > 21-36
Electronic Notes in Theoretical Computer Science > 2009 > 229 > 2 > 77-93
Electronic Notes in Theoretical Computer Science > 2009 > 242 > 1 > 113-138
Information and Computation > 2009 > 207 > 7 > 812-829
Electronic Notes in Theoretical Computer Science > 2007 > 180 > 1 > 3-15
Electronic Notes in Theoretical Computer Science > 2007 > 173 > Complete > 139-157
Journal of Automated Reasoning > 2006 > 36 > 1-2 > 125-147
Electronic Notes in Theoretical Computer Science > 2003 > 68 > 6 > 1-18
Information and Computation > 2002 > 175 > 1 > 3-33