Real-time reasoning: the case of surveillance systems.

Daniela Micucci, Marco Oldani, Francesco Tisato

Browse the full ETFA paper archive.