Bounded Reachability for Temporal Logic over Constraint Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcello M. Bersani' in GoogleThis author has not been identified. Look up 'Achille Frigeri' in GoogleThis author has not been identified. Look up 'Angelo Morzenti' in GoogleThis author has not been identified. Look up 'Matteo Pradella' in GoogleThis author has not been identified. Look up 'Matteo Rossi' in GoogleThis author has not been identified. Look up 'Pierluigi San Pietro' in Google

runs on WebDSL