(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-čujuhus (17. p.)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-čujuhus (9. p.)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.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.