- Tytuł:
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
- Autorzy:
-
Hahn, E.M.
Hermanns, H.
Wachter, B.
Zhang, L. - Data publikacji:
- 2009
- Słowa kluczowe:
-
Markov chains
model checking
truncation
uniformization - Pokaż więcej
- Dostawca treści:
- BazTech