%0 Conference Paper %1 conf/asap/ZhouB93 %A Zhou, Zheng %A Burleson, Wayne P. %B ASAP %D 1993 %I IEEE %K dblp %P 321-332 %T Formal descriptions, semantics and verification of VLSI array processors. %U http://dblp.uni-trier.de/db/conf/asap/asap1993.html#ZhouB93 %@ 0-8186-3492-8

@inproceedings{conf/asap/ZhouB93, added-at = {2020-04-06T00:00:00.000+0200}, author = {Zhou, Zheng and Burleson, Wayne P.}, biburl = {https://www.bibsonomy.org/bibtex/297b35aa439fc40dd77812a26d0591a4c/dblp}, booktitle = {ASAP}, crossref = {conf/asap/1993}, ee = {https://doi.org/10.1109/ASAP.1993.397155}, interhash = {081d99b287ea10774c5ad2b7b498b0ed}, intrahash = {97b35aa439fc40dd77812a26d0591a4c}, isbn = {0-8186-3492-8}, keywords = {dblp}, pages = {321-332}, publisher = {IEEE}, timestamp = {2020-04-07T11:42:44.000+0200}, title = {Formal descriptions, semantics and verification of VLSI array processors.}, url = {http://dblp.uni-trier.de/db/conf/asap/asap1993.html#ZhouB93}, year = 1993 }