Books

MEMOCODE'04 : Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California

Conferences
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (2nd : 2004 : San Diego, Calif.)
ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Available as
Online

Details

Additional Information