BibTeX record conf/caise/SchutzenmeierKP19

• > Home > conf/caise/SchutzenmeierKP19

@inproceedings{DBLP:conf/caise/SchutzenmeierKP19,
  author       = {Nicolai Sch{\"{u}}tzenmeier and
                  Martin K{\"{a}}ppel and
                  Sebastian Petter and
                  Stefan Sch{\"{o}}nig and
                  Stefan Jablonski},
  editor       = {Robert Pergl and
                  Eduard Babkin and
                  Russell Lock and
                  Pavel Malyzhenkov and
                  Vojtech Merunka},
  title        = {Detection of Declarative Process Constraints in {LTL} Formulas},
  booktitle    = {Enterprise and Organizational Modeling and Simulation - 15th International
                  Workshop, {EOMAS} 2019, Held at CAiSE 2019, Rome, Italy, June 3-4,
                  2019, Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {366},
  pages        = {131--145},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35646-0\_10},
  doi          = {10.1007/978-3-030-35646-0\_10},
  timestamp    = {Tue, 29 Dec 2020 18:35:18 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/SchutzenmeierKP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}