Sciweavers

4341 search results - page 16 / 869
» Quantitative Model checking
Sort
View
QEST
2006
IEEE
15 years 8 months ago
Lumping Markov Chains with Silent Steps
Jasen Markovski, Nikola Trcka