@conference {35,
	title = {Helping Young Students Reach Valid Decision Through Model Checking},
	booktitle = {3rd Hellenic Conference on Technology of Information and Communication in Education},
	year = {2002},
	month = {00/2002},
	address = {Rhodes, Greece},
	author = {I. Partsakoulakis and G. Vouros}
}
