Sciweavers

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