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 |