@inproceedings {Minisy2010:hegedusa,
	title = {BPEL Verification: The Back-annotation Problem},
	booktitle = {Proceedings of the 17th PhD Minisymposium},
	year = {2010},
	month = {02/2010},
	pages = {30{\textendash}31},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	author = {{\'A}bel Heged{\"u}s}
}
