Γαροφαλάκης, Μ., & Σπυράκης, Π. Γ. (1992). Αυτόματη επαλήθευση παραλλήλων συστημάτων: Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες.
Παραπομπή σε μορφή Chicago (17η εκδ.)Γαροφαλάκης, Μίνως, και Παύλος Γ Σπυράκης. Αυτόματη επαλήθευση παραλλήλων συστημάτων: Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. Πάτρα: Τμημα Η/Υ. Πτυχιακές Εργασίες, 1992.
Παραπομπή σε μορφή MLA (8th εκδ.)Γαροφαλάκης, Μίνως, και Παύλος Γ Σπυράκης. Αυτόματη επαλήθευση παραλλήλων συστημάτων: Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
