Tudor Bălănescu;Marian Gheorghe;Mike Holcombe
-;-;-
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science