APA (7th ed.) Citation

Γαροφαλάκης, Μ. (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 Style (17th ed.) Citation

Γαροφαλάκης, Μίνως. 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 ed.) Citation

Γαροφαλάκης, Μίνως. 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.