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

Michael Benedikt
James Worrell
Logical Methods in Computer Science, 9(2013)

Abstract

Research Areas