Computer Science Logic Bergen, Norwegen. (2011). Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL: September 12 -15, 2011, Bergen, Norway. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH.
Chicago-Zitierstil (17. Ausg.)Computer Science Logic Bergen, Norwegen. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL: September 12 -15, 2011, Bergen, Norway. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.
MLA-Zitierstil (9. Ausg.)Computer Science Logic Bergen, Norwegen. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL: September 12 -15, 2011, Bergen, Norway. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011.