Cita APA

(1997). Tools and algorithms for the construction and analysis of systems: Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.).

Citación estilo Chicago

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

Cita MLA

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