Constraint LTL satisfiability checking without automata - 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. Constraint LTL satisfiability checking without automata. J. Applied Logic, 12(4):522-557, 2014. [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