Return to Article Details BUILDING BEHAVIORAL TESTS FOR NONDETERMINISTIC TIME AUTOMATA MODEL Download Download PDF