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

Cached

Download Links

by Josee Desharnais , Abbas Edalat , Prakash Panangaden
Citations:33 - 10 self