Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Molinari, Angelo Montanari, Adriano Peron. Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pages 90-100, IEEE, 2015. [doi]

This author has not been identified. Look up 'Alberto Molinari' in GoogleThis author has not been identified. Look up 'Angelo Montanari' in GoogleThis author has not been identified. Look up 'Adriano Peron' in Google

runs on WebDSL