%0 Journal Article %1 journals/itm/VerbeekAK04 %A Verbeek, H. M. W. %A van der Aalst, Wil M. P. %A Kumar, Akhil %D 2004 %J Inf. Technol. Manag. %K dblp %N 1-2 %P 65-110 %T XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. %U http://dblp.uni-trier.de/db/journals/itm/itm5.html#VerbeekAK04 %V 5

@article{journals/itm/VerbeekAK04, added-at = {2023-09-30T00:00:00.000+0200}, author = {Verbeek, H. M. W. and van der Aalst, Wil M. P. and Kumar, Akhil}, biburl = {https://www.bibsonomy.org/bibtex/20a9ac43b1b3a9060546e6151f0e50c6c/dblp}, ee = {https://doi.org/10.1023/B:ITEM.0000008077.91413.86}, interhash = {543fed7a6a9d49d1ad621c4852ed9255}, intrahash = {0a9ac43b1b3a9060546e6151f0e50c6c}, journal = {Inf. Technol. Manag.}, keywords = {dblp}, number = {1-2}, pages = {65-110}, timestamp = {2024-04-09T07:12:37.000+0200}, title = {XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows.}, url = {http://dblp.uni-trier.de/db/journals/itm/itm5.html#VerbeekAK04}, volume = 5, year = 2004 }