Formal Analysis of Complex Event Processing - Potential and Challenges (bibtex)

Reference:

Formal Analysis of Complex Event Processing - Potential and Challenges (Matthias Weidlich), In Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018 (Bernd-Holger Schlingloff, Samira Akili, eds.), CEUR-WS.org, volume 2240, 2018.

Bibtex Entry:

@inproceedings{DBLP:conf/csp/Weidlich18,
  author    = {Matthias Weidlich},
  editor    = {Bernd{-}Holger Schlingloff and
               Samira Akili},
  title     = {Formal Analysis of Complex Event Processing - Potential and Challenges},
  booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
               and Programming, Berlin, Germany, September 24-26, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2240},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2240/invited1.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:14 +0100},
  biburl    = {https://dblp.org/rec/conf/csp/Weidlich18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  pdf       = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/weidlich_csp_2018_formal_analysis.pdf}
}