Bisimulation for Labelled Markov Processes (1997)

by Richard Blute , Josée Desharnais , Abbas Edalat , Prakash Panangaden
Venue:INFORMATION AND COMPUTATION
Citations:134 - 22 self