Sciweavers

FASE
2004
Springer

Optimising Communication Structure for Model Checking

14 years 6 months ago
Optimising Communication Structure for Model Checking
Peter Saffrey, Muffy Calder
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FASE
Authors Peter Saffrey, Muffy Calder
Comments (0)