A Logical Characterization of Bisimulation for Labeled Markov Processes (1998)

by Josee Desharnais , Abbas Edalat , Prakash Panangaden
Citations:40 - 12 self