Möller MO, Ruess H, Sorea M. Predicate Abstraction for Dense Real-Time Systems. BRICS [Internet]. 2001 Nov. 4 [cited 2024 Nov. 21];8(44). Available from: https://tidsskrift.dk/brics/article/view/21704