KLEUKER, Stephan, 1998. Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik. Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg, 98,1.
Elsevier - Harvard (with titles)Kleuker, S., 1998. Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme, Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg, Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg. Carl-v.-Ossietzky-Univ., Fachbereich Informatik, Oldenburg.
American Psychological Association 7th editionKleuker, S. (ca. 1998). Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme [Book]. In Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg. Carl-v.-Ossietzky-Univ., Fachbereich Informatik.
Springer - Basic (author-date)Kleuker S (1998) Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme. Carl-v.-Ossietzky-Univ., Fachbereich Informatik, Oldenburg
Juristische Zitierweise (Stüber) (Deutsch)Kleuker, Stephan, Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme, Oldenburg 1998.