%0 Conference Paper %1 conf/chdl/ZhuJ93 %A Zhu, Zheng %A Johnson, Steven D. %B CHDL %D 1993 %E Agnew, David %E Claesen, Luc J. M. %E Camposano, Raul %I North-Holland %K dblp %P 299-315 %T Automatic Synthesis of Sequential Synchronizations. %U http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#ZhuJ93 %V A-32 %@ 0-444-81641-0

@inproceedings{conf/chdl/ZhuJ93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Zhu, Zheng and Johnson, Steven D.}, biburl = {https://www.bibsonomy.org/bibtex/2d2bc07c0c6444b953a6ffe5c3904ff73/dblp}, booktitle = {CHDL}, crossref = {conf/chdl/1993}, date = {2002-01-03}, description = {dblp}, editor = {Agnew, David and Claesen, Luc J. M. and Camposano, Raul}, interhash = {045e5e58d2830c2691ac708e45285fde}, intrahash = {d2bc07c0c6444b953a6ffe5c3904ff73}, isbn = {0-444-81641-0}, keywords = {dblp}, pages = {299-315}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Automatic Synthesis of Sequential Synchronizations.}, url = {http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#ZhuJ93}, volume = {A-32}, year = 1993 }