BibTeX record conf/caise/DongenAV05

• > Home > conf/caise/DongenAV05

@inproceedings{DBLP:conf/caise/DongenAV05,
  author       = {Boudewijn F. van Dongen and
                  Wil M. P. van der Aalst and
                  H. M. W. Verbeek},
  editor       = {Oscar Pastor and
                  Jo{\~{a}}o Falc{\~{a}}o e Cunha},
  title        = {Verification of EPCs: Using Reduction Rules and Petri Nets},
  booktitle    = {Advanced Information Systems Engineering, 17th International Conference,
                  CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3520},
  pages        = {372--386},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11431855\_26},
  doi          = {10.1007/11431855\_26},
  timestamp    = {Sat, 30 Sep 2023 09:35:49 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/DongenAV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}