Towards an Effective Decision Procedure for LTL formulas with Constraints

Marco Comini, Laura Titolo, and Alicia Villanueva
August 2013
PDF Cite
Type
Conference paper
Publication
23rd Workshop on Logic-based methods in Programming Environments