Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q51540612)

From Wikidata
Jump to navigation Jump to search
scientific article published on 21 June 2013
edit
Language Label Description Also known as
English
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
scientific article published on 21 June 2013

    Statements

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata (English)
    0 references
    0 references
    Lei Song
    0 references
    Lijun Zhang
    0 references
    Jens Godskesen
    0 references
    21 June 2013
    0 references
    9
    0 references
    2
    0 references

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit