@inproceedings {1343,
	title = {STAR: A Software Tool for Validating Concurrent Systems},
	booktitle = {Programming - KTSG Technical Week},
	year = {1985},
	month = {09/1985},
	pages = {74-75},
	publisher = {SESA-RC},
	organization = {SESA-RC},
	address = {Madrid, Spain},
	author = {M. Silva and J. Mart{\'\i}nez and J.M. Colom}
}

