HUNT, Warren A und JOHNSON, Steven D, 2000. Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings. [cd]. 2000. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 1954. ISBN 9783540409229.
Elsevier - Harvard (with titles)Hunt, W.A., Johnson, S.D., 2000. Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-40922-X
American Psychological Association 7th editionHunt, W. A., & Johnson, S. D. (ca. 2000). Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-40922-X
Springer - Basic (author-date)Hunt WA, Johnson SD (2000) Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Hunt, Warren A/ Johnson, Steven D, Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings, Lecture Notes in Computer Science 2000, .