@article{705818,
      author = {Shi, Guoyong, and Tan, Sheldon X. D., and Tlelo-Cuautle,  Esteban,},
      url = {http://library.usi.edu/record/705818},
      title = {Advanced symbolic analysis for VLSI systems methods and  applications / [electronic resource] :},
      recid = {705818},
      pages = {1 online resource :},
}