%0 Conference Paper %1 conf/dac/MiyoshiKTNA85 %A Miyoshi, Masayuki %A Kazama, Yoshiharu %A Tada, Osamu %A Nagura, Yasuo %A Amano, Nobutaka %B DAC %D 1985 %E Ofek, Hillel %E O'Neill, Lawrence A. %I ACM %K dblp %P 812-815 %T Speed up techniques of logic simulation. %U http://dblp.uni-trier.de/db/conf/dac/dac1985.html#MiyoshiKTNA85 %@ 0-8186-0635-5

@inproceedings{conf/dac/MiyoshiKTNA85, added-at = {2018-11-06T00:00:00.000+0100}, author = {Miyoshi, Masayuki and Kazama, Yoshiharu and Tada, Osamu and Nagura, Yasuo and Amano, Nobutaka}, biburl = {https://www.bibsonomy.org/bibtex/2885ee5485b3b1b82bedd9fe5d11ae66b/dblp}, booktitle = {DAC}, crossref = {conf/dac/1985}, editor = {Ofek, Hillel and O'Neill, Lawrence A.}, ee = {https://doi.org/10.1145/317825.318003}, interhash = {fdc896303428b154d18162055f4faeeb}, intrahash = {885ee5485b3b1b82bedd9fe5d11ae66b}, isbn = {0-8186-0635-5}, keywords = {dblp}, pages = {812-815}, publisher = {ACM}, timestamp = {2018-11-07T16:13:36.000+0100}, title = {Speed up techniques of logic simulation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1985.html#MiyoshiKTNA85}, year = 1985 }