Research output per year
Research output per year
Search results
-
2013
Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)
Song, L., Zhang, L. & Godskesen, J. C., 2013, In: Logical Methods in Computer Science. 9, 2, 34 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile