Sciweavers

14071 search results - page 72 / 2815
» Fundamentals of simulation modeling
Sort
View
119
Voted
QEST
2010
IEEE
15 years 2 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner