BibTeX record conf/sac/LeuckerSS0S18

• > Home > conf/sac/LeuckerSS0S18

@inproceedings{DBLP:conf/sac/LeuckerSS0S18,
  author       = {Martin Leucker and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Torben Scheffel and
                  Malte Schmitz and
                  Alexander Schramm},
  editor       = {Hisham M. Haddad and
                  Roger L. Wainwright and
                  Richard Chbeir},
  title        = {TeSSLa: runtime verification of non-synchronized real-time streams},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
                  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages        = {1925--1933},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167132.3167338},
  doi          = {10.1145/3167132.3167338},
  timestamp    = {Wed, 28 Dec 2022 16:42:42 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/LeuckerSS0S18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}