Sciweavers

3134 search results - page 5 / 627
» simulation 2010
Sort
View
58
Voted
SPRINGSIM
2010
14 years 8 months ago
Development and acceleration of parallel chemical transport models
Paul Eller, Kumaresh Singh, Adrian Sandu
65
Voted
QEST
2010
IEEE
14 years 7 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner