%0 Conference Paper %1 conf/tphol/EisenbieglerSK93 %A Eisenbiegler, Dirk %A Schneider, Klaus %A Kumar, Ramayya %B HUG %D 1993 %E Joyce, Jeffrey J. %E Seger, Carl-Johan H. %I Springer %K dblp %P 101-114 %T A Functional Approach for Formalizing Regular Hardware Structures. %U http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#EisenbieglerSK93 %V 780 %@ 3-540-57826-9

@inproceedings{conf/tphol/EisenbieglerSK93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Eisenbiegler, Dirk and Schneider, Klaus and Kumar, Ramayya}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23b3c184cb5edd07d6b2d0f5296ce8cfc/dblp}, booktitle = {HUG}, crossref = {conf/tphol/1993}, editor = {Joyce, Jeffrey J. and Seger, Carl-Johan H.}, ee = {https://doi.org/10.1007/3-540-57826-9_128}, interhash = {9bfe263c1dccd3fa05aa7821252a3754}, intrahash = {3b3c184cb5edd07d6b2d0f5296ce8cfc}, isbn = {3-540-57826-9}, keywords = {dblp}, pages = {101-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:50.000+0200}, title = {A Functional Approach for Formalizing Regular Hardware Structures.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol93.html#EisenbieglerSK93}, volume = 780, year = 1993 }