Jump to Content

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

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

Abstract

Research Areas