APA (7th ed.) Citation

TACAS 2006 Vienna, Austria, SpringerLink (Online service), Hermanns, H., & Palsberg, J. (2006). Tools and algorithms for the construction and analysis of systems (vol. # 3920): 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

TACAS 2006 Vienna, Austria, SpringerLink (Online service), Holger Hermanns, and Jens Palsberg. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920): 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : Proceedings. Berlin Heidelberg: Springer-Verlag, 2006.

MLA (8th ed.) Citation

TACAS 2006 Vienna, Austria, et al. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920): 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : Proceedings. Springer-Verlag, 2006.