HENZINGER, Thomas, 2014. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS). New York, NY: ACM. ISBN 9781450328869.
Elsevier - Harvard (with titles)Henzinger, T., 2014. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS). ACM, New York, NY.
American Psychological Association 7th editionHenzinger, T. (ca. 2014). Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS) [Cd]. ACM.
Springer - Basic (author-date)Henzinger T (2014) Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS). ACM, New York, NY
Juristische Zitierweise (Stüber) (Deutsch)Henzinger, Thomas, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS), New York, NY 2014.