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

• Main Author: Γαροφαλάκης, Μίνως (Author)
• Format: Book
• Language: English
• Published: Patras Greece Patras Greece Πάτρα Ελλάδα Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
• Subjects: CTI TR 1993; TECHNICAL REPORT; ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ