Complex Events Specification for Properties Validation.

Antonia Bertolino, Antinisca Di Marco, Francesca Lonetti

Browse the full QUATIC paper archive.