Citation: Wd. Young, COMPARING VERIFICATION SYSTEMS - INTERACTIVE CONSISTENCY IN ACL2, IEEE transactions on software engineering, 23(4), 1997, pp. 214-223
Authors:
USHERWOOD EJ
BROOKS JW
SARAWAR SR
CARDIN RD
YOUNG WD
ALLEN DJ
DOHERTY PC
NASH AA
Citation: Ej. Usherwood et al., IMMUNOLOGICAL CONTROL OF MURINE GAMMAHERPESVIRUS INFECTION IS INDEPENDENT OF PERFORIN, Journal of General Virology, 78, 1997, pp. 2025-2030
Citation: Wd. Young et Dc. Prieve, INITIAL RATE OF FLOCCULATION OF MAGNETIC DISPERSIONS IN AN APPLIED MAGNETIC-FIELD, Industrial & engineering chemistry research, 35(9), 1996, pp. 3186-3194