Publication | Closed Access

Errors and Response Latencies as a Function of Nodal Distance in 5-Member Equivalence Classes

5-Member Equivalence ClassesResponse LatenciesEngineeringFormal MethodsNodal DistanceEquivalence CheckingApproximation TheoryError Correction