%0 Conference Paper %1 conf/dac/TakasakiSNIK86 %A Takasaki, Shigeru %A Sasaki, Tohru %A Nomizu, Nobuyoshi %A Ishikura, Hiroshi %A Koike, Nobuhiko %B DAC %D 1986 %E Thomas, Don %I IEEE Computer Society Press %K dblp %P 581-587 %T HAL II: a mixed level hardware logic simulation system. %U http://dblp.uni-trier.de/db/conf/dac/dac1986.html#TakasakiSNIK86

@inproceedings{conf/dac/TakasakiSNIK86, added-at = {2018-11-06T00:00:00.000+0100}, author = {Takasaki, Shigeru and Sasaki, Tohru and Nomizu, Nobuyoshi and Ishikura, Hiroshi and Koike, Nobuhiko}, biburl = {https://www.bibsonomy.org/bibtex/2fcce821bb36fe6ee478e6d8ca4b1c4af/dblp}, booktitle = {DAC}, crossref = {conf/dac/1986}, editor = {Thomas, Don}, ee = {https://doi.org/10.1145/318013.318106}, interhash = {508fc4a9778ec4ae3ab153a2e183d4cb}, intrahash = {fcce821bb36fe6ee478e6d8ca4b1c4af}, keywords = {dblp}, pages = {581-587}, publisher = {IEEE Computer Society Press}, timestamp = {2018-11-07T16:13:50.000+0100}, title = {HAL II: a mixed level hardware logic simulation system.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1986.html#TakasakiSNIK86}, year = 1986 }