Results 111 to 111 of about 6,419 (111)

Probabilistic Timed Bisimulation Relation and Its Preservation of Probabilistic Timed CTL Formulas of Real-time Systems with Discrete Probability Distributions

, 2004
Satoshi Yamane
openalex