On Memory-Block Traversal Problems in Model-Checking Timed-Systems.

Fredrik Larsson, Paul Pettersson, Wang Yi

Browse the full TACAS paper archive.