Henzinger, 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]. New York, NY: ACM.
ISO-690 (author-date, English)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.
Modern Language Association 9th editionHenzinger, T. 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, 2014.
Mohr Siebeck - Recht (Deutsch - Österreich)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.
Emerald - HarvardHenzinger, 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), Bd. , ACM, New York, NY.