APA (7th ed.) Citation

TACAS (Conference) Enschede, Netherlands), & Brinksma, E. (1997). Tools and algorithms for the construction and analysis of systems: Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TACAS (Conference) Enschede, Netherlands), and Ed Brinksma. Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : Proceedings. Berlin ; New York: Springer, 1997.

MLA (9th ed.) Citation

TACAS (Conference) Enschede, Netherlands), and Ed Brinksma. Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : Proceedings. Springer, 1997.