APA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation, . (2006). Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Washington, DC: IEEE Computer Society.

Chicago

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation, . 2006. Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Washington, DC: IEEE Computer Society.

Harvard

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation, . (2006). Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Washington, DC: IEEE Computer Society.

MLA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation, . Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Washington, DC: IEEE Computer Society. 2006.