共 50 条
- [21] Symbolic Bounded Conformance Checking of Model Programs PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 388 - 400
- [23] MODEL-INDEPENDENT ERROR ANALYSIS OF K+-NUCLEUS ELASTIC-SCATTERING PHYSICAL REVIEW C, 1986, 33 (02): : 665 - 672
- [26] MODEL-INDEPENDENT LINEAR PHARMACOKINETICS DRUG INTELLIGENCE & CLINICAL PHARMACY, 1976, 10 (03): : 179 - 180