Towards an Effective Decision Procedure for LTL formulas with Constraints (0)

by M Comini, L Titolo, A 2013b Villanueva
Venue:In 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). CoRR abs/1308.2055