Γαροφαλάκης, Μ., & Σπυράκης, Π. Γ. (1992). Αυτόματη επαλήθευση παραλλήλων συστημάτων: Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες.
Chicago Style (17th ed.) CitationΓαροφαλάκης, Μίνως, and Παύλος Γ Σπυράκης. Αυτόματη επαλήθευση παραλλήλων συστημάτων: Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. Πάτρα: Τμημα Η/Υ. Πτυχιακές Εργασίες, 1992.
MLA (8th ed.) CitationΓαροφαλάκης, Μίνως, and Παύλος Γ Σπυράκης. Αυτόματη επαλήθευση παραλλήλων συστημάτων: Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες, 1992.
Warning: These citations may not always be 100% accurate.