Alexis Bédard, Sylvain Hallé. Model Checking of Stream Processing Pipelines. In Carlo Combi, Johann Eder, Mark Reynolds 0001, editors, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. Volume 206 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.