TY - CPAPER
AU - Samuel Huang
AU - Rance Cleaveland
BT - International Conference on Formal Methods for Industrial Critical Systems
LA - eng
PB - Springer, Cham
PY - 2020
T2 - International Conference on Formal Methods for Industrial Critical Systems
TI - Temporal-logic query checking over finite data streams
ER -