Bisimulation for Labeled Markov Processes (1997)

by Richard Blute , Abbas Edalat , Prakash Panangaden
Venue:Information and Computation
Citations:134 - 22 self