Data and Documentation
Open Data Policy
FAQ
EN
DE
FR
Suchbegriff
Advanced search
Publication
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
-