BibTeX record journals/fac/AalstHHSVVW11

• > Home > journals/fac/AalstHHSVVW11

@article{DBLP:journals/fac/AalstHHSVVW11,
  author       = {Wil M. P. van der Aalst and
                  Kees M. van Hee and
                  Arthur H. M. ter Hofstede and
                  Natalia Sidorova and
                  H. M. W. Verbeek and
                  Marc Voorhoeve and
                  Moe Thandar Wynn},
  title        = {Soundness of workflow nets: classification, decidability, and analysis},
  journal      = {Formal Aspects Comput.},
  volume       = {23},
  number       = {3},
  pages        = {333--363},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00165-010-0161-4},
  doi          = {10.1007/S00165-010-0161-4},
  timestamp    = {Sun, 02 Oct 2022 15:35:09 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/AalstHHSVVW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}