Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.

Vladimir V. Rybakov

Browse the full CSR paper archive.