%0 Conference Paper %1 conf/date/UbarJP01 %A Ubar, Raimund %A Jutman, Artur %A Peng, Zebo %B DATE %D 2001 %E Nebel, Wolfgang %E Jerraya, Ahmed %I IEEE Computer Society %K dblp %P 460-466 %T Timing simulation of digital circuits with binary decision diagrams. %U http://dblp.uni-trier.de/db/conf/date/date2001.html#UbarJP01 %@ 0-7695-0993-2

@inproceedings{conf/date/UbarJP01, added-at = {2015-11-11T00:00:00.000+0100}, author = {Ubar, Raimund and Jutman, Artur and Peng, Zebo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25686d8e7290b7b24cb071ddc370c25b8/dblp}, booktitle = {DATE}, crossref = {conf/date/2001}, editor = {Nebel, Wolfgang and Jerraya, Ahmed}, ee = {http://dl.acm.org/citation.cfm?id=367324}, interhash = {c3c3c82744c422f497d73c88365a795e}, intrahash = {5686d8e7290b7b24cb071ddc370c25b8}, isbn = {0-7695-0993-2}, keywords = {dblp}, pages = {460-466}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:23:50.000+0100}, title = {Timing simulation of digital circuits with binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/conf/date/date2001.html#UbarJP01}, year = 2001 }