E-Locus - Institutional Repository of the University of Crete

Display Format:

Select	#	Description
	1.	Logic synthesis of concurrent control specifications by Ματθαιάκης, Παύλος Εμμανουήλ
	2.	Predictive Autonomous Robot Navigation by Φωκά, Αμαλία