@inproceedings{ICEIS-v3-2011-LinLMZN,
	author        = "Yuan Lin and Thérèse Libourel and Isabelle Mougenot and Runtong Zhang and Rongqian Ni",
	booktitle     = "{Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3}",
	isbn          = "978-989-8425-55-3",
	pages         = "66--75",
	publisher     = "{SciTePress}",
	title         = "{Approach for Verifying Workflow Validity}",
	year          = 2011,
}