Paper  doi  bibtex   

@inproceedings{DBLP:conf/bpm/GiacomoMGMM14,
  author    = {Giuseppe {De Giacomo} and
               Riccardo {De Masellis} and
               Marco Grasso and
               Fabrizio Maria Maggi and
               Marco Montali},
  title     = {Monitoring Business Metaconstraints Based on {LTL} and {LDL} for Finite
               Traces},
  booktitle = {Business Process Management - 12th International Conference, {BPM}
               2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  pages     = {1--17},
  year      = {2014},
  crossref  = {DBLP:conf/bpm/2014},
  url       = {https://doi.org/10.1007/978-3-319-10172-9\_1},
  doi       = {10.1007/978-3-319-10172-9\_1},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/bpm/GiacomoMGMM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}