Specifying Event-Based Systems with a Counting Fluent Temporal Logic

TitleSpecifying Event-Based Systems with a Counting Fluent Temporal Logic
Publication TypeConference Paper
Year of Publication2015
AuthorsRegis, G, Degiovanni, R, D'Ippolito, N, Aguirre, N
Conference Name37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1
PublisherIEEE
Conference LocationFlorence, Italy
URLhttp://dx.doi.org/10.1109/ICSE.2015.86
DOI10.1109/ICSE.2015.86
Work Package: 
WP5