Sorea, Maria

• 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