%0 Conference Proceedings
%F confcase:TESTCOM00
%A Belinfante, A.
%A Du Bousquet, L.
%A Ramangalahy, S.
%A Simon, S.
%A Viho, C.
%A De Vries, R.
%T Formal test automation: the conference protocol with TGV/TorX
%B IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Ottawa, Ontario, Canada
%E Ural, Hasan
%E Probert, Robert L.
%E v. Bochman, Gregor
%P 221-228
%I Kluwer Academic
%8 August
%D 2000