ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Run-Time Verification and Logic
TACAS
Sal B
Almost Event-Rate Independent Monitoring of Metric Temporal Logic
David A. Basin, Bhargav Nagaraja Bhatt, and Dmitriy Traytel
(ETH Zurich, Switzerland)
Publisher's Version
Preprint

Authors:


Time stamp: 2019-06-24T22:01:09+02:00