@article{GT-VMT-2006-KovacsG08,
	author        = "Máté Kovács and László Gönczy",
	doi           = "10.1016/j.entcs.2008.04.044",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "221--230",
	title         = "{Simulation and Formal Analysis of Workflow Models}",
	volume        = 211,
	year          = 2008,
}