Library Catalogue Plus

APA (7th ed.) Citation

ACM and IEEE International Conference on Formal Methods and Models for Co-Design Napa, Calif, & ACM Special Interest Group on Design Automation. (2006). Proceedings Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California / sponsored by ACM SIG on Design Automation ... [et al.]: Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California. IEEE Xplore.

Chicago Style (17th ed.) Citation

ACM and IEEE International Conference on Formal Methods and Models for Co-Design Napa, Calif, and ACM Special Interest Group on Design Automation. Proceedings Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California / Sponsored by ACM SIG on Design Automation ... [et Al.]: Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California. [Piscataway, N.J.]: IEEE Xplore, 2006.

MLA (9th ed.) Citation

ACM and IEEE International Conference on Formal Methods and Models for Co-Design Napa, Calif, and ACM Special Interest Group on Design Automation. Proceedings Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California / Sponsored by ACM SIG on Design Automation ... [et Al.]: Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '06 : July 27-30, 2006, Napa, California. IEEE Xplore, 2006.