Advances in Parametric Real-Time Reasoning.

Daniel Bundala, Jol Ouaknine

Browse the full MFCS paper archive.