APA (7th ed.) Citation

TACAS (Conference) Århus, Denmark), SpringerLink (Online service), & Brinksma, E. (1995). Tools and algorithms for the construction and analysis of systems: First international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Springer.

Chicago Style (17th ed.) Citation

TACAS (Conference) Århus, Denmark), SpringerLink (Online service), and Ed Brinksma. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers. Berlin ; New York: Springer, 1995.

MLA (9th ed.) Citation

TACAS (Conference) Århus, Denmark), et al. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers. Springer, 1995.