Möller MO, Ruess H, Sorea M. Predicate Abstraction for Dense Real-Time Systems. BRICS [Internet]. 4. november 2001 [henvist 5. december 2025];8(44). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21704