Reference:
The Biconnected Verification of Workflow Nets (Artem Polyvyanyy, Matthias Weidlich, and Mathias Weske), In On the Move to Meaningful Internet Systems: OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I (Robert Meersman, Tharam S. Dillon, Pilar Herrero, eds.), Springer, volume 6426, 2010.
Bibtex Entry:
@inproceedings{DBLP:conf/otm/PolyvyanyyWW10,
author = {Artem Polyvyanyy and
Matthias Weidlich and
Mathias Weske},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {The Biconnected Verification of Workflow Nets},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2010 - Confederated
International Conferences: CoopIS, IS, {DOA} and ODBASE, Hersonissos,
Crete, Greece, October 25-29, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6426},
pages = {410--418},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16934-2\_29},
doi = {10.1007/978-3-642-16934-2\_29},
timestamp = {Thu, 14 Oct 2021 10:28:29 +0200},
biburl = {https://dblp.org/rec/conf/otm/PolyvyanyyWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/polyvyanyy_coopis_2010_biconnected_verification.pdf}
}