Please use this identifier to cite or link to this item:
|Title:||PCTL model checking of Markov chains: Truth and falsity as winning strategies in games|
|Citation:||PERFORMANCE EVALUATION, 2010, 67 (9), pp. 858-872|
|Appears in Collections:||Published Articles, Dept. of Computer Science|
Files in This Item:
There are no files associated with this item.
Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.