Lijun Zhang (DTU Informatics
Identifiers
- name variant Lijun Zhang (DTU Informatics 0.60 · backfill
Papers (1)
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata cs.LO · 2011 · author #3
Mentions
- 1106.2181 #3 · backfill · confidence 0.70 Lijun Zhang (DTU Informatics
Frequent Coauthors
- Denmark) 1 shared papers
- Flemming Nielson (DTU Compute 1 shared papers
- Jens Chr. Godskesen (IT University of Copenhagen 1 shared papers
- Lei Song (IT University of Copenhagen 1 shared papers
- Technical University of Denmark) 1 shared papers