Cita APA (7th ed.)

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.

Cita Chicago (17th ed.)

Brinksma, Ed. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers. Berlin: Springer, 1995.

Cita MLA (9th ed.)

Brinksma, Ed. 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.