Concurrent runtime verification of data rich events.

MLA

Shafiei, Nastaran, et al. “Concurrent Runtime Verification of Data Rich Events.” International Journal on Software Tools for Technology Transfer, vol. 25, no. 4, Aug. 2023, pp. 481–501. EBSCOhost, https://doi.org/10.1007/s10009-023-00713-2.

APA

Shafiei, N., Havelund, K., & Mehlitz, P. (2023). Concurrent runtime verification of data rich events. International Journal on Software Tools for Technology Transfer, 25(4), 481–501. https://doi.org/10.1007/s10009-023-00713-2

Chicago

Shafiei, Nastaran, Klaus Havelund, and Peter Mehlitz. 2023. “Concurrent Runtime Verification of Data Rich Events.” International Journal on Software Tools for Technology Transfer 25 (4): 481–501. doi:10.1007/s10009-023-00713-2.