A.: Timed testing with TorX (0)

by H Bohnenkamp, Belinfante
Venue:In: Formal Methods Europe. Volume 3582 of LNCS., Springer (2005) 173 – 188