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