Milne, G. J. e., Pierre, L. e., & service), S. (. (1993). Correct Hardware Design and Verification Methods [electronic resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationMilne, George J. editor., Laurence. editor Pierre, and SpringerLink (Online service). Correct Hardware Design and Verification Methods [electronic Resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
MLA (8th ed.) CitationMilne, George J. editor., et al. Correct Hardware Design and Verification Methods [electronic Resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
IICA/CATIE CitationMilne, G. J. e., Pierre, L. e., ; service), S. (. 1993. Correct Hardware Design and Verification Methods [electronic resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg.