@article{b44204ea30a54bfaa2251102b418b01d,
title = "Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients",
author = "Osnat Keren and Ilya Levin and Stankovic, \{Radomir S.\}",
note = "Julkaistu toisen organisaation nimiss{\"a}, TTY ei affliaationa<br/>Contribution: organisation=sgn,FACT1=1",
year = "2011",
doi = "10.1109/TCAD.2010.2069290",
language = "English",
volume = "30",
pages = "31--44",
journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
issn = "0278-0070",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "01",
}