CLARKE, E.M. und KURSHAN, R.P., 1996. Computer-aided verification. IEEE Spectrum, Spectrum, IEEE, IEEE Spectr. 1 Juni 1996. Vol. 33, no. 6, p. 61-67. DOI 10.1109/6.499951.
Elsevier - Harvard (with titles)Clarke, E., Kurshan, R., 1996. Computer-aided verification. IEEE Spectrum, Spectrum, IEEE, IEEE Spectr. 33, 61-67. https://doi.org/10.1109/6.499951
American Psychological Association 7th editionClarke, E., & Kurshan, R. (1996). Computer-aided verification. IEEE Spectrum, Spectrum, IEEE, IEEE Spectr., 33(6), 61-67. https://doi.org/10.1109/6.499951
Springer - Basic (author-date)Clarke E, Kurshan R (1996) Computer-aided verification. IEEE Spectrum, Spectrum, IEEE, IEEE Spectr. 33:61-67. https://doi.org/10.1109/6.499951
Juristische Zitierweise (Stüber) (Deutsch)Clarke, E.M./ Kurshan, R.P., Computer-aided verification, IEEE Spectrum, Spectrum, IEEE, IEEE Spectr. 1996, 61-67.