BibTeX record conf/otm/AalstBD05

download as .bib file

@inproceedings{DBLP:conf/otm/AalstBD05,
  author       = {Wil M. P. van der Aalst and
                  H. T. de Beer and
                  Boudewijn F. van Dongen},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Mohand{-}Said Hacid and
                  John Mylopoulos and
                  Barbara Pernici and
                  {\"{O}}zalp Babaoglu and
                  Hans{-}Arno Jacobsen and
                  Joseph P. Loyall and
                  Michael Kifer and
                  Stefano Spaccapietra},
  title        = {Process Mining and Verification of Properties: An Approach Based on
                  Temporal Logic},
  booktitle    = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
                  ODBASE, {OTM} Confederated International Conferences CoopIS, DOA,
                  and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005,
                  Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3760},
  pages        = {130--147},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11575771\_11},
  doi          = {10.1007/11575771\_11},
  timestamp    = {Wed, 25 Sep 2019 18:18:09 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/AalstBD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics