Sciweavers

3134 search results - page 5 / 627
» simulation 2010
Sort
View
93
Voted
QEST
2010
IEEE
14 years 11 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner