APA (7th ed.) Citation

TACAS '99 Amsterdam, Netherlands, SpringerLink (Online service), ETAPS (Conference), & Cleaveland, W. R. (1999). Tools and algorithms for the construction and analysis of systems: 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TACAS '99 Amsterdam, Netherlands, SpringerLink (Online service), ETAPS (Conference), and W. R. Cleaveland. Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings. Berlin ; New York: Springer, 1999.

MLA (9th ed.) Citation

TACAS '99 Amsterdam, Netherlands, et al. Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings. Springer, 1999.