Bisimulation for Labelled Markov Processes (1999)

by Josée Desharnais , Abbas Edalat , Prakash Panangaden
Citations:202 - 25 self