(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.).
Citace podle Chicago (17th ed.)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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..