APA (7th ed.) Citation

TACAS (Conference) Enschede, The Netherlands), & Brinksma, E. (1997). Tools and algorithms for the construction and analysis of systems. Springer.

Chicago Style (17th ed.) Citation

TACAS (Conference) Enschede, The Netherlands), and Ed Brinksma. Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer, 1997.

MLA (9th ed.) Citation

TACAS (Conference) Enschede, The Netherlands), and Ed Brinksma. Tools and Algorithms for the Construction and Analysis of Systems. Springer, 1997.

Warning: These citations may not always be 100% accurate.