A Decidable Temporal Logic of Repeating Values.

Stphane Demri, Deepak D'Souza, Rgis Gascon

Browse the full LFCS paper archive.