%0 Conference Paper %1 conf/micro/Sidhu84 %A Sidhu, Deepinder P. %B MICRO %D 1984 %E Carter, M. %E Mueller, Robert A. %I ACM/IEEE %K dblp %P 309-313 %T Logic programming applied to hardware design specification and verification. %U http://dblp.uni-trier.de/db/conf/micro/micro1984.html#Sidhu84

@inproceedings{conf/micro/Sidhu84, added-at = {2018-11-28T00:00:00.000+0100}, author = {Sidhu, Deepinder P.}, biburl = {https://www.bibsonomy.org/bibtex/2a9c65c4d4ed9299c142cf6ea4ba2cb96/dblp}, booktitle = {MICRO}, crossref = {conf/micro/1984}, editor = {Carter, M. and Mueller, Robert A.}, ee = {https://dl.acm.org/citation.cfm?id=808239}, interhash = {43ca06caef29a553a05ea8e5ab0f8f09}, intrahash = {a9c65c4d4ed9299c142cf6ea4ba2cb96}, keywords = {dblp}, pages = {309-313}, publisher = {ACM/IEEE}, timestamp = {2018-11-29T11:39:36.000+0100}, title = {Logic programming applied to hardware design specification and verification.}, url = {http://dblp.uni-trier.de/db/conf/micro/micro1984.html#Sidhu84}, year = 1984 }