Flemming Nielson (DTU Compute

Identifiers

• name variant Flemming Nielson (DTU Compute 0.60 · backfill

Papers (1)

1. Bisimulations Meet PCTL Equivalences for Probabilistic Automata cs.LO · 2011 · author #7

Mentions

• 1106.2181 #7 · backfill · confidence 0.70 Flemming Nielson (DTU Compute

Frequent Coauthors

• Denmark) 1 shared papers
• Jens Chr. Godskesen (IT University of Copenhagen 1 shared papers
• Lei Song (IT University of Copenhagen 1 shared papers
• Lijun Zhang (DTU Informatics 1 shared papers
• Technical University of Denmark) 1 shared papers