@article{https://doi.org/10.3929/ethz-b-000375995,<br/><span class="tab"></span>
  doi = {10.3929/ETHZ-B-000375995},<br/><span class="tab"></span>
  url = {http://hdl.handle.net/20.500.11850/375995},<br/><span class="tab"></span>
  author = {{Raszyk,<br/><span class="tab"></span> Martin} and {Basin,<br/><span class="tab"></span> David} and {Krstić,<br/><span class="tab"></span> Srđan} and {Traytel,<br/><span class="tab"></span> Dmitriy}},<br/><span class="tab"></span>
  language = {en},<br/><span class="tab"></span>
  title = {Multi-head Monitoring of Metric Temporal Logic},<br/><span class="tab"></span>
  publisher = {ETH Zurich},<br/><span class="tab"></span>
  year = {2019},<br/><span class="tab"></span>
  copyright = {http://rightsstatements.org/page/InC-NC/1.0/}
}