Specifying Event-Based Systems with a Counting Fluent Temporal Logic.

Germn Regis, Renzo Degiovanni, Nicols D'Ippolito, Nazareno Aguirre

Browse the full ICSE paper archive.