Sciweavers

ICFEM
2007
Springer

Formalizing SANE Virtual Processor in Thread Algebra

14 years 5 months ago
Formalizing SANE Virtual Processor in Thread Algebra
Thuy Duong Vu, Chris R. Jesshope
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICFEM
Authors Thuy Duong Vu, Chris R. Jesshope
Comments (0)