Herbrand automata for hardware verification (1998)

by W Damm, A Pnueli, S Ruah
Venue:9th International Conference on Concurrency Theory (CONCUR '98