Bisimulation for Labelled Markov Processes

   Info_icon.svg       BibTeX_logo.svg   
José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation 179(2), pages 163–193
2002
journal or series
Journal_icon.svg Information and Computation (IC)