Herbrand automata for hardware verification
Damm, W. and Pnueli, A. and Ruah, S.
Proc of the 9th International Conference on Conucrrency (CONCUR)
01 / 1998
inproceedings
Springer Verlag
LNCS
Springer Verlag
