共 50 条
- [33] Screening Patients with a Family History of Colorectal Cancer Journal of General Internal Medicine, 2007, 22 : 508 - 513
- [38] Family-Based Model Checking Without a Family-Based Model Checker MODEL CHECKING SOFTWARE, SPIN 2015, 2015, 9232 : 282 - 299