Monitoring First-Order Interval Logic.

Klaus Havelund, Moran Omer, Doron Peled

Browse the full SEFM paper archive.