Model Checking Restricted Sets of Timed Paths.

Nicolas Markey, Jean-Franois Raskin

Browse the full CONCUR paper archive.