Comments on "Checking Experiments for Sequential Machines" | IEEE Journals & Magazine | IEEE Xplore