Specifying Event-Based Systems with a Counting Fluent Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre. Specifying Event-Based Systems with a Counting Fluent Temporal Logic. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. pages 733-743, IEEE, 2015. [doi]

This author has not been identified. Look up 'Germán Regis' in GoogleThis author has not been identified. Look up 'Renzo Degiovanni' in GoogleThis author has not been identified. Look up 'Nicolás D'Ippolito' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in Google

runs on WebDSL