Two Variable vs. Linear Temporal Logic in Model Checking and Games.

Michael Benedikt, Rastislav Lenhardt, James Worrell

Browse the full CONCUR paper archive.