Tutorial: Formal Methods for Event Processing.

Alexander Artikis, Georgios Paliouras

Browse the full EDBT paper archive.