Ruess, Harald
-
BRICS Report Series No. 18 (1999): RS-18 Solving Bit-Vector Equations of Fixed and Non-Fixed Size - Articles
Solving Bit-Vector Equations of Fixed and Non-Fixed Size
Abstract PDF -
BRICS Report Series No. 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems - Articles
Predicate Abstraction for Dense Real-Time Systems
Abstract PDF