Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

MCIVER, Annabelle und MORGAN, Carroll, 2005. Abstraction, refinement and proof for probabilistic systems. New York: Springer. ISBN 0387401156.

Elsevier - Harvard (with titles)

Mc Iver, A., Morgan, C., 2005. Abstraction, refinement and proof for probabilistic systems, Monographs in computer science. Springer, New York.

American Psychological Association 7th edition

Mc Iver, A., & Morgan, C. (ca. 2005). Abstraction, refinement and proof for probabilistic systems [Book]. In Monographs in computer science. Springer.

Springer - Basic (author-date)

Mc Iver A, Morgan C (2005) Abstraction, refinement and proof for probabilistic systems. Springer, New York

Juristische Zitierweise (Stüber) (Deutsch)

Mc Iver, Annabelle/ Morgan, Carroll, Abstraction, refinement and proof for probabilistic systems, New York 2005.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.