vix.ing · top · new · best · stats · spec

Gaoang Bian

  1. On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version)
    2017/01/17 by Gaoang Bian, Alessandro Abate, Bian, Gaoang +1 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)