Larsson, Fredrik, Paul Pettersson, og Wang Yi. “On Memory-Block Traversal Problems in Model Checking Timed Systems”. BRICS Report Series 7, no. 3 (januar 3, 2000). Set december 19, 2025. https://tidsskrift.dk/brics/article/view/20131.