Sciweavers

TPHOL
1992
IEEE

Modelling Generic Hardware Structures by Abstract Datatypes

14 years 3 months ago
Modelling Generic Hardware Structures by Abstract Datatypes
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1992
Where TPHOL
Authors Klaus Schneider, Ramayya Kumar, Thomas Kropf
Comments (0)