Back to overview

Adaptive 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 , Chen Yu-Fang; , Esparza Javier; , Cheng Chih-Hong
Volume (Issue) 11781
Page(s) 133 - 150
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_8