DMCA

Testing deterministic implementations from nondeterministic fsm specifications. In: (1996)

by A Petrenko , N Yevtushenko , G V Bochmann
Venue:Proc. of the 9th Intern Workshop on Protocol Test Systems.
Citations:21 - 1 self