Leicester Research Archive

Leicester Research Archive >

Statistics

Total Visits

Views
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games 61

Total Visits per Month

October 2013 March 2014
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games 2 2

File Downloads

Views

Top Country Views

Views
United States of America 40
China 5
United Kingdom 5
Netherlands 4
Canada 3
Russian Federation 1

Top City Views

Views
Miami Beach 22
Beijing 5
Santa Clara 4
Toronto 3
Uxbridge 2
Kansas City 1
Leicester 1
San Angelo 1
Swadlincote 1

 

MAINTAINER