E-Locus - Ιδρυματικό Καταθετήριο Πανεπιστημίου Κρήτης

Αρχική Συνεδρία Αποθηκευμένα Αποτελέσματα

Μορφή εμφάνισης:

Επιλογή	#	Περιγραφή
	1.	A novel specification and composition language for services από Μπαργιάννης, Γεώργιος Βασιλείου
	2.	Logic synthesis of concurrent control specifications από Ματθαιάκης, Παύλος Εμμανουήλ