共 50 条
- [42] Don't know in the μ-calculus VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 233 - 249
- [47] Supporting family Caregivers at the end of life - "They don't know what they don't know" JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 2004, 291 (04): : 483 - 491