000			00501nam a2200133Ia 4500
008			2212144s2014 xx 000 0 und d
020			_a9781493911035
041			_aeng
100			_aGuoyong Shi ; Esteban Tlelo Cuautle Sheldon X.-D. Tan
245			_aAdvanced Symbolic Analysis for VLSI Systems
260			_aNew York _bSpringer _c2014
650			_aInstrumentation: Logic Design Engineering: Circuits and Systems: Electronics and Microelectronics
856			_uhttp://doi.org/10.1007/978-1-4939-1103-5
999			_c83609 _d83609