Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Patras Greece Patras Greece Πάτρα Ελλάδα
Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών
1993
|
| Subjects: |
