Αυτόματη επαλήθευση παραλλήλων συστημάτων Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία.

• Κύριος συγγραφέας: Γαροφαλάκης, Μίνως (Συγγραφέας)
• Άλλοι συγγραφείς: Σπυράκης, Παύλος Γ.
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνιος 1992
• Θέματα: ALGORITHMS; ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1992