Herbrand Automata for Hardware Verification.

Werner Damm, Amir Pnueli, Sitvanit Ruah

Browse the full CONCUR paper archive.