International Conference on Formal Methods and Models for Co-Design 2 2004 San Diego, Calif,
Association for Computing Machinery,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery Special Interest Group on Design Automation,
Institut National de Recherche en Informatique et en Automatique