Sciweavers

14577 search results - page 478 / 2916
» Statistical Language Modelling
Sort
View
ECOOP
2003
Springer
16 years 24 days ago
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment
Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif,...
ICALP
1997
Springer
15 years 11 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...