@inproceedingsDam1998, 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} @COMMENTBibtex file generated on