Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models
1999 ◽
pp. 105-152
◽
Keyword(s):
2000 ◽
Vol 37
(03)
◽
pp. 795-806
◽