Sciweavers

ACL2
2006
ACM

Towards a formal theory of on chip communications in the ACL2 logic

13 years 9 months ago
Towards a formal theory of on chip communications in the ACL2 logic
Julien Schmaltz, Dominique Borrione
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where ACL2
Authors Julien Schmaltz, Dominique Borrione
Comments (0)