Sciweavers

12753 search results - page 117 / 2551
» is 2002
Sort
View
79
Voted
IPPS
2002
IEEE
15 years 5 months ago
Mechanical Verification of Hypercube Algorithms
Eric Gascard, Laurence Pierre