Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz. Concurrent runtime verification of data rich events. STTT, 25(4):481-501, August 2023. [doi]
@article{ShafieiHM23,
title = {Concurrent runtime verification of data rich events},
author = {Nastaran Shafiei and Klaus Havelund and Peter C. Mehlitz},
year = {2023},
month = {August},
doi = {10.1007/s10009-023-00713-2},
url = {https://doi.org/10.1007/s10009-023-00713-2},
researchr = {https://researchr.org/publication/ShafieiHM23},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {25},
number = {4},
pages = {481-501},
}