Publication

Back to overview

Scalable Online First-Order Monitoring

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

Proceedings (peer-reviewed)

Editor , Leucker Martin; , Colombo Christian
Page(s) 353 - 371
ISBN 9783030037680
Title of proceedings Runtime Verification
DOI 10.1007/978-3-030-03769-7_20

-