Bisimulation for Labelled Markov Processes (1999)

by Josée Desharnais , Abbas Edalat , Prakash Panangaden
Citations:134 - 22 self