Model Checking of Stream Processing Pipelines.

Alexis Bdard, Sylvain Hall

Browse the full TIME paper archive.