HATCLIFF, John (Hrsg.). [book]. 2010. Berlin: Springer. ISBN 9783642134630.
Elsevier - Harvard (with titles)Hatcliff, J. (Hrsg.), 2010. Formal techniques for distributed systems : joint 12 th IFIP WG 6.1 international conference and 30 th IFIP WG 6.1 international conference ; proceedings. Lecture notes in computer science.
American Psychological Association 7th editionHatcliff, J. (Hrsg.). (ca. 2010). Formal techniques for distributed systems : joint 12 th IFIP WG 6.1 international conference and 30 th IFIP WG 6.1 international conference ; proceedings [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Hatcliff J (Hrsg.) (2010) Formal techniques for distributed systems : joint 12 th IFIP WG 6.1 international conference and 30 th IFIP WG 6.1 international conference ; proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Hatcliff, John (Hrsg.), Formal techniques for distributed systems : joint 12 th IFIP WG 6.1 international conference and 30 th IFIP WG 6.1 international conference ; proceedings, Lecture notes in computer science 2010, .