Temporal-logic query checking over finite data streams
| Author | |
| Year of Publication | 2020 |
| Conference Name | International Conference on Formal Methods for Industrial Critical Systems |
| Publisher | Springer, Cham |
| Download citation |