Checking experiments to test latches.

Samy Makar, Edward J. McCluskey

Browse the full VTS paper archive.