%0 Conference Paper %1 conf/glvlsi/HuaZ92 %A Hua, Xin %A Zhang, Hantao %B Great Lakes Symposium on VLSI %D 1992 %I IEEE %K dblp %P 183-190 %T Axiomatic semantics of a hardware specification language. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi1992.html#HuaZ92 %@ 0-8186-2610-0

@inproceedings{conf/glvlsi/HuaZ92, added-at = {2023-01-17T00:00:00.000+0100}, author = {Hua, Xin and Zhang, Hantao}, biburl = {https://www.bibsonomy.org/bibtex/250e9f24f005d7a33f125b0cbf55af0de/dblp}, booktitle = {Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/1992}, ee = {https://doi.org/10.1109/GLSV.1992.218347}, interhash = {e93cbc2339003c7713dcb6f5ff4b4194}, intrahash = {50e9f24f005d7a33f125b0cbf55af0de}, isbn = {0-8186-2610-0}, keywords = {dblp}, pages = {183-190}, publisher = {IEEE}, timestamp = {2024-04-10T16:23:32.000+0200}, title = {Axiomatic semantics of a hardware specification language.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi1992.html#HuaZ92}, year = 1992 }