Leicester Research Archive

Leicester Research Archive >
College of Science and Engineering >
Computer Science, Department of >
Published Articles, Dept. of Computer Science >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/26567

Title: PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Authors: Fecher, H
Huth, M
Piterman, N
Wagner, D
Issue Date: Sep-2010
Citation: PERFORMANCE EVALUATION, 2010, 67 (9), pp. 858-872
DOI Link: 10.1016/j.peva.2009.07.002
ISSN: 0166-5316
Links: http://hdl.handle.net/2381/26567
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:

There are no files associated with this item.

View Statistics

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

MAINTAINER