Academic Journal
The Finite Satisfiability Problem for PCTL is Undecidable
| Τίτλος: | The Finite Satisfiability Problem for PCTL is Undecidable |
|---|---|
| Συγγραφείς: | Chodil, Miroslav, Kučera, Antonín |
| Πηγή: | Journal of the ACM. 73(1):1-30 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3787496 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!