Verification of Two-Variable Logic Revisited

Michael Benedikt
James Worrell
QEST(2012), pp. 114-123

Abstract

Research Areas