An apparatus for pseudo-deterministic testing.

Shridhar K. Mukund, Edward J. McCluskey, T. R. N. Rao

Browse the full VTS paper archive.