共 50 条
- [44] Checking nested properties using bounded model checking and sequential ATPG 19TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2005, : 225 - 230
- [48] A Hybrid Logistic Model for Case-Control Studies Methodology And Computing In Applied Probability, 2003, 5 : 419 - 426