Sciweavers

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