Rajeev Alur, Konstantinos Mamouras. An Introduction to the StreamQRE Language. In Dependable Software Systems Engineering. pages 1-24, 2017. [doi]
@incollection{AlurM17,
title = {An Introduction to the StreamQRE Language},
author = {Rajeev Alur and Konstantinos Mamouras},
year = {2017},
doi = {10.3233/978-1-61499-810-5-1},
url = {https://doi.org/10.3233/978-1-61499-810-5-1},
researchr = {https://researchr.org/publication/AlurM17},
cites = {0},
citedby = {0},
pages = {1-24},
booktitle = {Dependable Software Systems Engineering},
}