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ázdil | 1 | 161 | 16.23 |
Holger Hermanns | 2 | 3418 | 229.22 |
Jan Krčál | 3 | 79 | 7.45 |
Jan Kretínský | 4 | 159 | 16.02 |
Vojtĕch Řehák | 5 | 36 | 5.15 |