@inproceedings{81,
  author = {Samuel Huang and Rance Cleaveland},
  title = {Temporal-logic query checking over finite data streams},
  year = {2020},
  journal = {International Conference on Formal Methods for Industrial Critical Systems},
  publisher = {Springer, Cham},
  language = {eng},
}