书目详细信息 : Simulation and verification of electronic and biological systems /