APA (7th ed.) Zitazioa

(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.).

Chicago Style (17th ed.) Zitazioa

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.

MLA (9th ed.) Zitazioa

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.