Nicolas Markey. Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. Electronic Notes in Theoretical Computer Science, 68(2):87-104, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.