%0 Conference Paper %1 conf/concur/DammPR98 %A Damm, Werner %A Pnueli, Amir %A Ruah, Sitvanit %B CONCUR %D 1998 %E Sangiorgi, Davide %E de Simone, Robert %I Springer %K dblp %P 67-83 %T Herbrand Automata for Hardware Verification. %U http://dblp.uni-trier.de/db/conf/concur/concur1998.html#DammPR98 %V 1466 %@ 3-540-64896-8

@inproceedings{conf/concur/DammPR98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Damm, Werner and Pnueli, Amir and Ruah, Sitvanit}, biburl = {https://www.bibsonomy.org/bibtex/2adbee088eb3692424c346ebb4c7ddb55/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1998}, editor = {Sangiorgi, Davide and de Simone, Robert}, ee = {https://doi.org/10.1007/BFb0055616}, interhash = {7ddf19c778d5391675c1dbb83e0a5586}, intrahash = {adbee088eb3692424c346ebb4c7ddb55}, isbn = {3-540-64896-8}, keywords = {dblp}, pages = {67-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:54.000+0200}, title = {Herbrand Automata for Hardware Verification.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1998.html#DammPR98}, volume = 1466, year = 1998 }