David A. Basin, Felix Klaedtke, Eugen Zalinescu. Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log., 21(1), 2020. [doi]
@article{BasinKZ20, title = {Runtime Verification over Out-of-order Streams}, author = {David A. Basin and Felix Klaedtke and Eugen Zalinescu}, year = {2020}, doi = {10.1145/3355609}, url = {https://doi.org/10.1145/3355609}, researchr = {https://researchr.org/publication/BasinKZ20}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {21}, number = {1}, }