APA (7th ed.) Citation

TACAS (Conference) Berlin, Germany), SpringerLink (Online service), ETAPS (Conference), Graf, S., & Schwartzbach, M. I. (2000). Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TACAS (Conference) Berlin, Germany), SpringerLink (Online service), ETAPS (Conference), Susanne Graf, and Michael I. Schwartzbach. Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : Proceedings. Berlin ; New York: Springer, 2000.

MLA (9th ed.) Citation

TACAS (Conference) Berlin, Germany), et al. Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : Proceedings. Springer, 2000.