Sciweavers

3918 search results - page 134 / 784
» Probabilistic model of triangulation
Sort
View
ICALP
1997
Springer
15 years 3 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...