Quantitative Temporal Logic.

Yoram Hirshfeld, Alexander Moshe Rabinovich

Browse the full CSL paper archive.