Sciweavers

15777 search results - page 113 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
FASE
2004
Springer
15 years 11 months ago
Optimising Communication Structure for Model Checking
Peter Saffrey, Muffy Calder