Axiomatizations for probabilistic finite-state

Cached

Download Links

by Yuxin Deng , Catuscia Palamidessi