Jump to Content

Verification of Two-Variable Logic Revisited

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

Abstract

Research Areas