%0 Conference Paper
%B International Conference on Formal Methods for Industrial Critical Systems
%D 2020
%G eng
%I Springer, Cham
%T Temporal-logic query checking over finite data streams