PALANQUE, Philippe und PATERNÒ, Fabio, 2001. Interactive Systems Design, Specification, and Verification : 7 th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers. [cd]. 2001. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 1946. ISBN 9783540446750.
Elsevier - Harvard (with titles)Palanque, P., Paternò, F., 2001. Interactive Systems Design, Specification, and Verification : 7 th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-44675-3
American Psychological Association 7th editionPalanque, P., & Paternò, F. (ca. 2001). Interactive Systems Design, Specification, and Verification : 7 th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-44675-3
Springer - Basic (author-date)Palanque P, Paternò F (2001) Interactive Systems Design, Specification, and Verification : 7 th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Palanque, Philippe/ Paternò, Fabio, Interactive Systems Design, Specification, and Verification : 7 th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers, Lecture Notes in Computer Science 2001, .