Search results for: Jakob Rehof
Lecture Notes in Computer Science > Static Analysis > Mobility > 375-394
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 169-183
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite State Systems > 93-107
Lecture Notes in Computer Science > Static Analysis > 285-300
Lecture Notes in Computer Science > Computer Aided Verification > Compositional/Structural Verification > 166-179
Lecture Notes in Computer Science > Static Analysis > Pointer Analysis > 260-278
Science of Computer Programming > 1999 > 35 > 2-3 > 191-221
Information Processing Letters > 1996 > 58 > 4 > 157-162