When is Metric Temporal Logic Expressively Complete?.

Paul Hunter

Browse the full CSL paper archive.