ISO-690 (author-date, English)

BIENMÜLLER, Tom, 2003. Reducing complexity for the verification of STATEMATE designs : Dissertation. Oldenburg: Univ., Fak. II, Dep. für Informatik. Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften / Carl-von-Ossietzky-Universität Oldenburg, [20]03,6.

Elsevier - Harvard (with titles)

Bienmüller, T., 2003. Reducing complexity for the verification of STATEMATE designs : Dissertation, Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften / Carl-von-Ossietzky-Universität Oldenburg, Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften / Carl-von-Ossietzky-Universität Oldenburg. Univ., Fak. II, Dep. für Informatik, Oldenburg.

American Psychological Association 7th edition

Bienmüller, T. (ca. 2003). Reducing complexity for the verification of STATEMATE designs : Dissertation [Book]. In Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften / Carl-von-Ossietzky-Universität Oldenburg. Univ., Fak. II, Dep. für Informatik.

Springer - Basic (author-date)

Bienmüller T (2003) Reducing complexity for the verification of STATEMATE designs : Dissertation. Univ., Fak. II, Dep. für Informatik, Oldenburg

Juristische Zitierweise (Stüber) (Deutsch)

Bienmüller, Tom, Reducing complexity for the verification of STATEMATE designs : Dissertation, Oldenburg 2003.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.