APA (7th ed.) Citation

TACAS (Conference) Grenoble, France), SpringerLink (Online service), LINK (Online service), ETAPS (Conference), Katoen, J., & Stevens, P. (2002). Tools and algorithms for the construction and analysis of systems: 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

TACAS (Conference) Grenoble, France), SpringerLink (Online service), LINK (Online service), ETAPS (Conference), Joost-Pieter Katoen, and Perdita Stevens. Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : Proceedings. Berlin ; Hong Kong: Springer-Verlag, 2002.

MLA (9th ed.) Citation

TACAS (Conference) Grenoble, France), et al. Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : Proceedings. Springer-Verlag, 2002.