Sciweavers

34181 search results - page 536 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
FOSSACS
2005
Springer
15 years 10 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston