Citace podle APA (7th ed.)

SpringerLink (Online service), Abdulla, P. A., & Leino, K. R. M. (2011). Tools and algorithms for the construction and analysis of systems: 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer Berlin Heidelberg.

Citace podle Chicago (17th ed.)

SpringerLink (Online service), Parosh Aziz Abdulla, a K. Rustan M. Leino. Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Citace podle MLA (9th ed.)

SpringerLink (Online service), et al. Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer Berlin Heidelberg, 2011.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..