Predicate Abstraction for Dense Real-Time System

M. Oliver Möller, Harald Rueß, Maria Sorea. Predicate Abstraction for Dense Real-Time System. Electronic Notes in Theoretical Computer Science, 65(6):218-237, 2002. [doi]

Abstract

Abstract is missing.