Back to overview

A Benchmark Generator for Online First-Order Monitoring

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Krstić Srđan, Schneider Joshua,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

ISBN 978-3-030-60507-0
Title of proceedings Runtime Verification, 20th International Conference, RV 2020, Los Angeles, CA, USA, Oct. 6–9, 2020
DOI 10.1007/978-3-030-60508-7_27