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
FSTTCS
2007
Springer
16 years 10 days ago
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
Matthias Schmalz, Hagen Völzer, Daniele Varac...