Παραπομπή σε μορφή APA (7η εκδ.)

Γαροφαλάκης, Μ. (1993). Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7. Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Γαροφαλάκης, Μίνως. Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7. Patras Greece Patras Greece Πάτρα Ελλάδα: Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών, 1993.

Παραπομπή σε μορφή MLA (8th εκδ.)

Γαροφαλάκης, Μίνως. Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7. Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών, 1993.