View source for InstitutionDoi/1880

{{InstitutionsDoi
|doi=https://doi.org/10.1109/tse.2023.3242588
|affiliation=Interdisciplinary Centre for Security, Reliability, and Trust (SnT), University of Luxembourg, Esch-sur-Alzette, Luxembourg
|affiliation_clean=Interdisciplinary Centre for Security, Reliability, and Trust (SnT), University of Luxembourg, Esch-sur-Alzette, Luxembourg
|title=Trace Diagnostics for Signal-Based Temporal Properties
}}