NIELSEN, Mogens und THOMAS, Wolfgang, 1998. Computer Science Logic : 11 th International Workshop, CSL ’97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers. [cd]. 1998. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1414. ISBN 9783540693536.
Elsevier - Harvard (with titles)Nielsen, M., Thomas, W., 1998. Computer Science Logic : 11 th International Workshop, CSL ’97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/BFb0028003
American Psychological Association 7th editionNielsen, M., & Thomas, W. (ca. 1998). Computer Science Logic : 11 th International Workshop, CSL ’97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0028003
Springer - Basic (author-date)Nielsen M, Thomas W (1998) Computer Science Logic : 11 th International Workshop, CSL ’97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Nielsen, Mogens/ Thomas, Wolfgang, Computer Science Logic : 11 th International Workshop, CSL ’97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers, Lecture Notes in Computer Science 1998, .