Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7

• Κύριος συγγραφέας: Γαροφαλάκης, Μίνως (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Patras Greece Patras Greece Πάτρα Ελλάδα Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
• Θέματα: CTI TR 1993; TECHNICAL REPORT; ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ