Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro. Bounded Reachability for Temporal Logic over Constraint Systems. In Nicolas Markey, Jef Wijsen, editors, TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. pages 43-50, IEEE Computer Society, 2010. [doi]
Abstract is missing.