Title
Verification of Open Interactive Markov Chains.
Year
DOI
Venue
2012
10.4230/LIPIcs.FSTTCS.2012.474
FSTTCS
Keywords
Field
DocType
discretization,imc
Principle of compositionality,Discrete mathematics,Discretization,Computer science,Markov chain,Reachability
Conference
Citations 
PageRank 
References 
5
0.45
15
Authors
5
Name
Order
Citations
PageRank
Tomás Brázdil116116.23
Holger Hermanns23418229.22
Jan Krčál3797.45
Jan Kretínský415916.02
Vojtĕch Řehák5365.15