Sciweavers

5882 search results - page 7 / 1177
» network 2010
Sort
View
71
Voted
EXPERT
2010
91views more  EXPERT 2010»
14 years 9 months ago
AI Space Odyssey
Michael G. Shafto, Maarten Sierhuis
94
Voted
FAC
2010
93views more  FAC 2010»
14 years 9 months ago
Verification and falsification of programs with loops using predicate abstraction
Daniel Kroening, Georg Weissenbacher