A logical characterization of bisimulation for labeled Markov processes | IEEE Conference Publication | IEEE Xplore

A logical characterization of bisimulation for labeled Markov processes | IEEE Conference Publication | IEEE Xplore

翻译：