Visibly Linear Temporal Logic

Laura Bozzelli, César Sánchez. Visibly Linear Temporal Logic. Journal of Automated Reasoning, 60(2):177-220, 2018. [doi]

Abstract

Abstract is missing.