Sciweavers

17049 search results - page 9 / 3410
» cans 2007
Sort
View
CMG
2000
15 years 7 months ago
Software That Can Think
"Software That Can Think"
Bernard Domanski
122
Voted
FSTTCS
2007
Springer
16 years 15 hour ago
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
Matthias Schmalz, Hagen Völzer, Daniele Varac...