共 50 条
- [31] Enhance SAT Conflict Analysis for Model Checking [J]. 2009 IEEE 8TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2009, : 686 - +
- [36] Nonparametric Methods for Checking the Validity of Prior Order Information [J]. Annals of the Institute of Statistical Mathematics, 2000, 52 : 680 - 697
- [37] DIGITAL PEDOMETERS: CHECKING CALIBRATION PRIOR TO USE IN RESEARCH [J]. MEDICINE AND SCIENCE IN SPORTS AND EXERCISE, 2001, 33 (05): : S299 - S299
- [39] Theorem proving for modeling and conflict checking of authorization policies [J]. ISCN '06: PROCEEDINGS OF THE 7TH INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORKS, 2006, : 146 - +