Time-Bounded Verification.

Jol Ouaknine, Alexander Rabinovich, James Worrell

Browse the full CONCUR paper archive.