| Title | Temporal-logic query checking over finite data streams |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Huang, Samuel, and Cleaveland Rance |
| Conference Name | International Conference on Formal Methods for Industrial Critical Systems |
| Publisher | Springer, Cham |
