MCIVER, Annabelle und MORGAN, Charles Carroll, 2005. Abstraction, Refinement and Proof for Probabilistic Systems. [cd]. 2005. 1 st edition 2005. New York, NY: Springer New York. ISBN 9780387270067.
Elsevier - Harvard (with titles)Mc Iver, A., Morgan, C.C., 2005. Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. https://doi.org/10.1007/b138392
American Psychological Association 7th editionMc Iver, A., & Morgan, C. C. (ca. 2005). Abstraction, Refinement and Proof for Probabilistic Systems [Cd]. In Monographs in Computer Science (1 st edition 2005). Springer New York. https://doi.org/10.1007/b138392
Springer - Basic (author-date)Mc Iver A, Morgan CC (2005) Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Mc Iver, Annabelle/ Morgan, Charles Carroll, Abstraction, Refinement and Proof for Probabilistic Systems, Monographs in Computer Science 2005, .