Specifying Event-Based Systems with a Counting Fluent Temporal Logic
| Title | Specifying Event-Based Systems with a Counting Fluent Temporal Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Regis, G, Degiovanni, R, D'Ippolito, N, Aguirre, N |
| Conference Name | 37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1 |
| Publisher | IEEE |
| Conference Location | Florence, Italy |
| URL | http://dx.doi.org/10.1109/ICSE.2015.86 |
| DOI | 10.1109/ICSE.2015.86 |
Work Package:
WP5
