Back to overview

Multi-head Monitoring of Metric Temporal Logic

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

Proceedings (peer-reviewed)

Editor , Cheng Chih-Hong; , Esparza Javier; , Chen Yu-Fang
Volume (Issue) 11781
Page(s) 151 - 170
Title of proceedings Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
DOI 10.1007/978-3-030-31784-3_9