Sciweavers

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