@inproceedings{HCI-ITE-2011-LinD,
	author        = "Jui-Feng Lin and Colin G. Drury",
	booktitle     = "{Proceedings of the 14th International Conference on Human-Computer Interaction. Part II: Interaction Techniques and Environments}",
	doi           = "10.1007/978-3-642-21605-3_31",
	isbn          = "978-3-642-21604-6",
	pages         = "275--284",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Verification of Two Models of Ballistic Movements}",
	volume        = 6762,
	year          = 2011,
}