@inproceedings{Dam1998, Author = {Damm, W. and Pnueli, A. and Ruah, S.}, Title = {Herbrand automata for hardware verification}, Year = {1998}, Month = {01}, Editor = {Springer Verlag}, Publisher = {Springer Verlag}, Series = {LNCS}, Booktitle = {Proc of the 9th International Conference on Conucrrency (CONCUR)}, type = {inproceedings} } @COMMENT{Bibtex file generated on }