@article {Tour{\'e}2008392,
	title = {An efficient algorithm for workflow graph structural verification},
	journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	volume = {5331 LNCS},
	number = {PART 1},
	year = {2008},
	note = {cited By 12},
	pages = {392-408},
	doi = {10.1007/978-3-540-88871-0_26},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-58049119784\&doi=10.1007\%2f978-3-540-88871-0_26\&partnerID=40\&md5=ad674a639f5a67f23709f5742ad00833},
	author = {Tour{\'e}, F. and Baina, K. and Benali, K.}
}
@conference {Toure2008442,
	title = {Toward a hybrid algorithm for workflow graph structural verification},
	booktitle = {ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems},
	volume = {2 ISAS},
	year = {2008},
	note = {cited By 0},
	pages = {442-447},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-55849090723\&partnerID=40\&md5=82602d0e2d1c9215fcffa333664737d1},
	author = {Tour{\'e}, F. and Baina, K. and Gaaloul, W.}
}
