APA

Association for Computing Machinery-Digital Library, ACM Special Interest Group on Design Automation, . (2003). Proceedings of the First ACM and IEEE 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, . 2003. Proceedings of the First ACM and IEEE 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, . (2003). Proceedings of the First ACM and IEEE 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 First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. Washington, DC: IEEE Computer Society. 2003.