Back to overview

Multi-head Monitoring of Metric Dynamic Logic

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Raszyk Martin, Basin David, Traytel Dmitriy,
Project Big Data Monitoring
Show all

Proceedings (peer-reviewed)

Editor , Hung Dang Van; , Sokolsky Oleg
Volume (Issue) 12302
Page(s) 233 - 250
Title of proceedings Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
DOI 10.1007/978-3-030-59152-6_13