• A testing strategy for interacting finite state machinesYevtushenko, Nina; Petrenko, Alexandre; Trenkaev, VadimBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 137-140: ill