APA (7th ed.) Citation

SpringerLink (Online service), Ramakrishnan, C., & Rehof, J. (2008). Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings (1st ed. 2008.). Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), C.R Ramakrishnan, and Jakob Rehof. Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2008.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings. 1st ed. 2008. Springer Berlin Heidelberg : Imprint: Springer, 2008.