BibTeX record conf/ifip8-1/RathmairHKP15

• > Home > conf/ifip8-1/RathmairHKP15

@inproceedings{DBLP:conf/ifip8-1/RathmairHKP15,
  author       = {Michael Rathmair and
                  Ralph Hoch and
                  Hermann Kaindl and
                  Roman Popp},
  editor       = {Jolita Ralyt{\'{e}} and
                  Sergio Espa{\~{n}}a and
                  Oscar Pastor},
  title        = {Consistently Formalizing a Business Process and its Properties for
                  Verification: {A} Case Study},
  booktitle    = {The Practice of Enterprise Modeling - 8th {IFIP} {WG} 8.1. Working
                  Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {235},
  pages        = {126--140},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25897-3\_9},
  doi          = {10.1007/978-3-319-25897-3\_9},
  timestamp    = {Thu, 27 Jul 2023 08:17:12 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/RathmairHKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}