BibTeX record conf/memocode/ViscontiBLN21

download as .bib file

@inproceedings{DBLP:conf/memocode/ViscontiBLN21,
  author    = {Ennio Visconti and
               Ezio Bartocci and
               Michele Loreti and
               Laura Nenzi},
  editor    = {S. Arun{-}Kumar and
               Dominique M{\'{e}}ry and
               Indranil Saha and
               Lijun Zhang},
  title     = {Online monitoring of spatio-temporal properties for imprecise signals},
  booktitle = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
               Methods and Models for System Design, Virtual Event, China, November
               20 - 22, 2021},
  pages     = {78--88},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3487212.3487344},
  doi       = {10.1145/3487212.3487344},
  timestamp = {Thu, 23 Dec 2021 09:33:36 +0100},
  biburl    = {https://dblp.org/rec/conf/memocode/ViscontiBLN21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics