Larsson F, Pettersson P, Yi W. On Memory-Block Traversal Problems in Model Checking Timed Systems. BRICS [Internet]. 3. januar 2000 [henvist 19. december 2025];7(3). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20131