Reasoning about Data Repetitions with Counter Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stéphane Demri, Diego Figueira, M. Praveen. Reasoning about Data Repetitions with Counter Systems. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. pages 33-42, IEEE Computer Society, 2013. [doi]

This author has not been identified. Look up 'Stéphane Demri' in GoogleThis author has not been identified. Look up 'Diego Figueira' in GoogleThis author has not been identified. Look up 'M. Praveen' in Google

runs on WebDSL