@inproceedings{bc66a4f7a8ac4b2fb002d66294c1c58a,
title = "Verification of workflow nets",
author = "{Aalst, van der}, W.M.P.",
year = "1997",
doi = "10.1007/3-540-63139-9_48",
language = "English",
isbn = "3-540-63139-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "407--426",
editor = "P. Azema and G. Balbo",
booktitle = "Application and Theory of Petri Nets 1997 (Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997)",
address = "Germany",
}