Bisimulation for Labelled Markov Processes

   page       BibTeX_logo.png   
José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation 179(2), pp. 163–193
2002
rivista o collana
book Information and Computation (IC)